1 files changed, 107 insertions, 0 deletions
diff --git a/static/style.css b/static/style.css
new file mode 100644
index 0000000..531350c
--- /dev/null
+++ b/static/style.css
@@ -0,0 +1,107 @@
+@font-face {
+	font-family: EBGaramond;
+	src: url(/static/EBGaramond-VariableFont_wght.ttf) format('woff2-variations');
+	font-style: normal;
+}
+
+@font-face {
+	font-family: EBGaramond;
+	src: url(/static/EBGaramond-Italic-VariableFont_wght.ttf) format('woff2-variations');
+	font-style: italic;
+}
+
+@font-face {
+	font-family: FiraMono;
+	src: url(/static/FiraMono-Regular.ttf);
+	font-style: normal;
+}
+
+body {
+	background: #fdf3f3;
+	color: DarkSlateGrey;
+	font-family: EBGaramond, serif;
+    font-size: large;
+}
+
+a {
+	color: #1eaedb;
+}
+
+a:hover {
+	color: #0e99c4;
+}
+
+.container {
+    margin: 1em;
+}
+
+.row {
+	margin-bottom: 1em;
+}
+
+.title {
+	letter-spacing: -0.5px;
+}
+
+label {
+    margin-right: 4px;
+}
+
+form {
+	border: 1px DarkSlateGrey solid;
+    padding: 10px;
+    padding-left: 25px;
+}
+
+.narrow {
+    max-width: 40em;
+}
+
+.sep {
+    margin-left: 6px;
+    margin-right: 6px;
+}
+
+.nonbreaking {
+	white-space: nowrap;
+}
+
+.focus {
+	font-weight: bold;
+}
+
+input[type="text"] {
+    margin-left: .25em;
+	width: 75%;
+	max-width: 50em;
+    font-family: FiraMono, monospace;
+}
+
+ul {
+    list-style-type: lower-greek;
+}
+
+.theorem {
+    font-size: medium;
+    font-family: FiraMono, monospace;
+}
+
+button {
+    margin-right: 10px;
+}
+
+.valid {
+    background-color: #aed975;
+}
+
+.invalid {
+    background-color: #ff7c7b;
+}
+
+.error {
+    background-color: #c4c4c4;
+}
+
+.validity {
+    font-weight: bold;
+}