Arne Keller 9ab7a876d6 Improve english translation ... closes #23		2021-08-30 14:25:17 +02:00
..
main	Add type assumption examples	2021-07-05 18:01:38 +02:00
button-hover.css	Better hover for buttons	2021-03-05 17:44:37 +01:00
control-panel.css	Move styling into CSS	2021-03-07 20:24:57 +01:00
error-view.css	Error messages now show where the error is	2021-06-18 13:24:51 +02:00
explanation.css	Refactor unification view to be dynamically sized	2021-08-24 16:33:57 +02:00
image-slide.css	Small style adjustments	2021-02-21 10:34:09 +01:00
not-found.css	Move style to CSS files	2021-02-13 17:49:29 +01:00
share-dialog.css	Added copy buttons to share dialog	2021-08-24 13:32:32 +02:00
start-page.css	Fix touch interaction with proof tree	2021-03-08 12:42:32 +01:00
type-inference.css	Improve english translation	2021-08-30 14:25:17 +02:00
unification.css	Add top and bottom padding to unification	2021-08-25 14:23:57 +02:00
vaadin-button.css	Cleanup	2021-03-10 16:49:35 +01:00