Moritz Dieing 3fd5de7611 Better hover for buttons		2021-03-05 17:44:37 +01:00
..
app-layout.css	Remove custom index.html	2021-02-25 11:01:36 +01:00
drawer-content.css
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	Better hover for buttons	2021-03-05 17:44:37 +01:00
inference-rule-field.css	Smaller copy button with notification	2021-03-05 12:44:17 +01:00
info-dialog.css
input-bar.css
main-view.css	Move style to CSS files	2021-02-13 17:49:29 +01:00
type-assumption-field.css
type-assumptions-area.css	added close buttons to dialog	2021-03-05 13:26:22 +01:00
upper-bar.css	Fix keyboard navigation in upper bar	2021-03-05 09:08:54 +01:00