diff options
author | cyfraeviolae <cyfraeviolae> | 2021-05-16 18:22:49 -0400 |
---|---|---|
committer | cyfraeviolae <cyfraeviolae> | 2021-05-16 18:22:49 -0400 |
commit | 1da9b25ff814d681afc3b741739bffbca7cc45e8 (patch) | |
tree | 9227ecf9bc54973d536c837c685101b6c69c7fcb /static/style.css |
init
Diffstat (limited to 'static/style.css')
-rw-r--r-- | static/style.css | 107 |
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; +} |