Initial commit

2019-01-20 21:40:10 +02:00
parent ace97bd54d
commit 9cd9869f5b
8 changed files with 835 additions and 0 deletions
--- a/static/custom.css
+++ b/static/custom.css
@@ -0,0 +1,11 @@
+.navbar {
+    margin-bottom: 24px;
+}
+
+.initiallyHidden {
+    display: none;
+}
+
+#latexInputTextArea {
+    font-family: monospace;
+}