diff options
author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-06-08 13:52:58 +0200 |
---|---|---|
committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-06-08 13:55:39 +0200 |
commit | 4ebf47b90c1a60489d2fb7e1dda5b01f443ef263 (patch) | |
tree | 53f7ace61adcafdd0bf89b65c695bd26b43e8d65 /style.css | |
parent | 116eae9bc409b245514e2a030c41f22a2b508df6 (diff) |
Add 3.1.1 release
The latest.html page now redirects to the latest release after 10
seconds, but it also includes a link to the old 3.1.0 release.
Diffstat (limited to 'style.css')
-rw-r--r-- | style.css | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/style.css b/style.css new file mode 100644 index 0000000..ca83c4b --- /dev/null +++ b/style.css @@ -0,0 +1,24 @@ +body { + background: white; + line-height: 1.5; + margin: 3em; + font-family: sans-serif; +} +.main { + margin: 2em auto; + width: 50em; +} +h1 { + margin-top: 0.25em; + margin-bottom: 0.25em +} +img { + border: 0; + width: 100%; + margin-top: 1em; + margin-bottom: 1em; +} +.date { + font-style: italic; + float: right; +} |