ucrhh 06e6135a3b change error notification to error page		2021-03-05 22:05:24 +01:00
..
main	change error notification to error page	2021-03-05 22:05:24 +01:00
button-hover.css	Better hover for buttons	2021-03-05 17:44:37 +01:00
error-view.css	change error notification to error page	2021-03-05 22:05:24 +01:00
image-slide.css
not-found.css
proof-tree.css
share-dialog.css	added close buttons to dialog	2021-03-05 13:26:22 +01:00
start-page.css
type-inference.css
unification.css