diff options
Diffstat (limited to 'static/styles.css')
-rw-r--r-- | static/styles.css | 40 |
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; +} |