Typicalc/frontend/styles/view
2021-08-24 13:32:32 +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
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 Fix some bugs of the unification explanation 2021-08-16 09:50:43 +02: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