diff options
Diffstat (limited to 'static')
-rw-r--r-- | static/main.css | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/static/main.css b/static/main.css new file mode 100644 index 0000000..f8837d0 --- /dev/null +++ b/static/main.css @@ -0,0 +1,48 @@ +h1,h2,h3,h4 { + text-align: center; + margin: 0.5em auto; +} +body { + margin-left: auto; + margin-right: auto; + text-align: center; + font-family: Courier, Monospace; + word-wrap: normal; +} +/* some Stallman trickery for making mobile text bigger */ +@media screen and (max-device-width: 480px) { + body { + font-size: 200% + } + .loicense { + font-size: 75%; + } +} +.navbar { + text-align: center; + max-width: 1000px; + display: block; +} +.content { + text-align: justify; + max-width: 500px; + display: inline-block; +} +.license { + font-size: 65%; + text-align: center; + max-width: 350px; + display: block; +} +p { + margin-top: 0.75em; + margin-bottom: 0.75em; +} + +table { + border-spacing: 0 10px; +} +td { + text-align: left +} + |