styles

1 files changed, 0 insertions, 107 deletions

diff --git a/static/style.css b/static/style.css
deleted file mode 100644
index 86d1fed..0000000
--- a/static/style.css
+++ /dev/null
@@ -1,107 +0,0 @@
-@font-face {
-	font-family: EBGaramond;
-	src: url(/sumcheck/static/EBGaramond-VariableFont_wght.ttf) format('woff2-variations');
-	font-style: normal;
-}
-
-@font-face {
-	font-family: EBGaramond;
-	src: url(/sumcheck/static/EBGaramond-Italic-VariableFont_wght.ttf) format('woff2-variations');
-	font-style: italic;
-}
-
-@font-face {
-	font-family: FiraMono;
-	src: url(/sumcheck/static/FiraMono-Regular.ttf);
-	font-style: normal;
-}
-
-body {
-	background: #fdf3f3;
-	color: DarkSlateGrey;
-	font-family: EBGaramond, serif;
-    font-size: large;
-}
-
-a {
-	color: #1a97bf;
-}
-
-a:hover {
-	color: #075d77;
-}
-
-.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;
-}