styles

1 files changed, 40 insertions, 0 deletions

diff --git a/static/styles.css b/static/styles.css
new file mode 100644
index 0000000..54c1414
--- /dev/null
+++ b/static/styles.css
@@ -0,0 +1,40 @@
+label {
+    margin-right: 4px;
+}
+
+form {
+	border: 1px DarkSlateGrey dotted;
+    padding: 10px;
+    padding-left: 25px;
+}
+
+input[type="text"] {
+    margin-left: .25em;
+	width: 75%;
+	max-width: 50em;
+    font-family: FiraMono, monospace;
+}
+
+.theorem {
+    font-family: FiraMono, monospace;
+}
+
+.valid {
+    background-color: #aed975;
+}
+
+.invalid {
+    background-color: #ff7c7b;
+}
+
+.error {
+    background-color: #c4c4c4;
+}
+
+.validity {
+    font-weight: bold;
+}
+
+button {
+    margin-right: 10px;
+}