Arne Keller 6ebe1a7450 Fix keyboard navigation in upper bar ... As a bonus, it is now more obvious that the icons are buttons too		2021-03-05 09:08:54 +01:00
..
main	Fix keyboard navigation in upper bar	2021-03-05 09:08:54 +01:00
error-notification.css	Improved error message	2021-02-16 14:53:40 +01: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
proof-tree.css	Tree min height of 75%	2021-02-10 16:46:34 +01:00
share-dialog.css	Fix share dialog size	2021-02-17 16:36:06 +01:00
start-page.css	Small style adjustments	2021-02-21 10:34:09 +01:00
type-inference.css	Move style to CSS files	2021-02-13 17:49:29 +01:00
unification.css	Increase size of SVG to 100%	2021-02-03 15:10:51 +01:00