19 Commits

Author	SHA1	Message	Date
Arne Keller	91daed42c4	Optimize frontend script and style	2021-09-29 17:02:19 +02:00
Moritz Dieing	684327d63a	Consistent naming of css ids and classes	2021-08-31 10:56:03 +02:00
Moritz Dieing	8463a26f97	Reduce upper bar height	2021-06-29 12:41:48 +02:00
Moritz Dieing	9ad8831ff2	Exchange TypeAssumption-Dialog with Textfield	2021-06-18 13:34:26 +02:00
Moritz Dieing	9df9e657e1	Restructure upper bar	2021-06-16 15:37:35 +02:00
ucrhh	9a3b5586a6	make help icon white	2021-03-12 10:37:19 +01:00
Arne Keller	86496440ed	WIP: convert drawer to normal element	2021-03-10 10:40:21 +01:00
Arne Keller	081e3e188b	Fix touch interaction with proof tree	2021-03-08 12:42:32 +01:00
Arne Keller	9c599de580	Fix overflow of upper bar	2021-03-08 12:24:15 +01:00
Arne Keller	6ebe1a7450	Fix keyboard navigation in upper bar ... As a bonus, it is now more obvious that the icons are buttons too	2021-03-05 09:08:54 +01:00
Moritz Dieing	c42fd73361	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-06 12:09:40 +01:00
Moritz Dieing	619e6da18c	Change drawer width + render on language change	2021-02-06 12:06:49 +01:00
Arne Keller	843430439d	Fix layout of upper bar	2021-02-06 10:42:02 +01:00
Moritz Dieing	4c98976059	Extends content of infoDialog	2021-02-05 23:58:19 +01:00
Arne Keller	15ede65458	Make drawer more obvious	2021-02-01 15:35:15 +01:00
Moritz Dieing	69b9ef4773	DrawerContent erweitert + styling und logik besser getrennt	2021-01-30 01:28:53 +01:00
Moritz Dieing	158760ed5f	HelpDialog und kleinere Änderungen	2021-01-29 17:15:59 +01:00
Moritz Dieing	36e8b4c020	UpperBar + InputBar erweitert	2021-01-29 01:25:49 +01:00
Moritz Dieing	c37934f898	UpperBar erweitert	2021-01-28 12:16:10 +01:00