Moritz Dieing a7eaf394ec Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc		2021-03-05 12:44:29 +01:00
..
main	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-03-05 12:44:29 +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