|
main
|
Fix checkstyle issue
|
2021-03-05 15:51:01 +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
|
added close buttons to dialog
|
2021-03-05 13:26:22 +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 |
