Arne Keller 081e3e188b Fix touch interaction with proof tree		2021-03-08 12:42:32 +01:00
..
app-layout.css	Remove custom index.html	2021-02-25 11:01:36 +01:00
drawer-content.css	Change drawer width + render on language change	2021-02-06 12:06:49 +01:00
error-details.css	Improved error message	2021-02-16 14:53:40 +01:00
example-dialog.css	added close buttons to dialog	2021-03-05 13:26:22 +01:00
help-dialog.css	Move help style to CSS	2021-03-07 11:15:37 +01:00
inference-rule-field.css	Smaller copy button with notification	2021-03-05 12:44:17 +01:00
info-content.css	change error notification to error page	2021-03-05 22:05:24 +01:00
info-dialog.css	Tree min height of 75%	2021-02-10 16:46:34 +01:00
input-bar.css	Fix touch interaction with proof tree	2021-03-08 12:42:32 +01:00
main-view.css	Move style to CSS files	2021-02-13 17:49:29 +01:00
type-assumption-field.css	Implement TypeAssumptions (frontend)	2021-02-08 00:54:40 +01:00
type-assumption-input-field.css	Set pattern attribute of field, show error border	2021-03-06 21:46:53 +01:00
type-assumptions-area.css	added close buttons to dialog	2021-03-05 13:26:22 +01:00
upper-bar.css	Fix touch interaction with proof tree	2021-03-08 12:42:32 +01:00