Moritz Dieing 9df9e657e1 Restructure upper bar		2021-06-16 15:37:35 +02:00
..
app-layout.css	Remove custom index.html	2021-02-25 11:01:36 +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	Restructure upper bar	2021-06-16 15:37:35 +02: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	Restructure upper bar	2021-06-16 15:37:35 +02:00
select-text-field.css	Restructure upper bar	2021-06-16 15:37:35 +02:00
type-assumption-field.css	add hr to footer, optimize styling	2021-03-11 16:22:20 +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	add hr to footer, optimize styling	2021-03-11 16:22:20 +01:00
type-inference-rules.css	add hr to footer, optimize styling	2021-03-11 16:22:20 +01:00
upper-bar.css	Restructure upper bar	2021-06-16 15:37:35 +02:00