|
main
|
make example buttons refresh on locale change
|
2021-03-13 12:26:23 +01: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
|
change error notification to error page
|
2021-03-05 22:05:24 +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 |
|
share-dialog.css
|
some styling
|
2021-03-11 15:11:22 +01:00 |
|
start-page.css
|
Fix touch interaction with proof tree
|
2021-03-08 12:42:32 +01:00 |
|
type-inference.css
|
Fix width of type inference rules
|
2021-03-11 17:10:15 +01:00 |
|
unification.css
|
Fix unnecessary scroll bars
|
2021-03-10 16:07:52 +01:00 |
|
vaadin-button.css
|
Cleanup
|
2021-03-10 16:49:35 +01:00 |
