diff options
author | stuebinm | 2022-02-10 18:12:06 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 19:26:19 +0100 |
commit | 0d2ba6d9b66adb7755dc79fab4ac8f0d01d5db4a (patch) | |
tree | 3d445b5aee2ba2970a16e760c48aea7a943fe486 /static/style.css | |
parent | cdb6329b6acaab0a15441554412d8f5ececece1b (diff) |
server: present lint results in pretty html
(this is mostly a rewrite / translation of the django templates built
into rc3's hub)
Diffstat (limited to 'static/style.css')
-rw-r--r-- | static/style.css | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/static/style.css b/static/style.css new file mode 100644 index 0000000..8accaf5 --- /dev/null +++ b/static/style.css @@ -0,0 +1,24 @@ + + +body { + background-color: olivedrab +} + +.main-content { + padding: 2em; + border-radius: 1em; + margin: auto; + margin-top: 10em; + margin-bottom: 5em; + max-width: 50em; + background-color: white; +} + +a { + color: black; +} + +#exitGraph { + width: 100%; + height: 15em; +} |