sebastiano.tronto.net

Source files and build scripts for my personal website
git clone https://git.tronto.net/sebastiano.tronto.net
Download | Log | Files | Refs | README

commit c926ebcfb49891c848d4fe7085f9bff969c23855
parent 6174aa76ee061818a8ca6b0d952e90257ca3b5d4
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Sat, 25 Feb 2023 22:11:40 +0100

CSS: squish

Diffstat:
Asrc/style-5.css | 29+++++++++++++++++++++++++++++
Mtop.html | 2+-
2 files changed, 30 insertions(+), 1 deletion(-)

diff --git a/src/style-5.css b/src/style-5.css @@ -0,0 +1,29 @@ +/* Header and footer */ +header nav table { width: 100%; } +.logo img { max-width: 3em; margin: 0 0 0 0; } +.links { text-align: right; font-weight: bold; } +.links a { font-weight: bold; color: black; } +footer table { font-style: italic; width: 100%; } +.hosted { text-align: right; } +.hosted a, .contact a { font-weight: bold; } + +/* Content */ +html { margin: 1em auto; max-width: 42em; } +h1 { text-align: center; } +body { margin: auto 8px 20px 8px; } +a { color: #0f2899; text-decoration: none; } +a:hover { text-decoration: underline; } +img { display: block; margin-left: auto; margin-right: auto; max-width: 100%; } +pre { background-color: #eeeeee; border: 2px solid; padding: + 6px; overflow-x: auto; } +pre code { padding: 0px; } +code { background-color: #eeeeee; padding: 2px; } +#blob { background: #ffffff; border: none; } + +/* Tables */ +table { width: 100%; } +td h1 { text-align: left; font-size: 1.5em; } +#files td { font-family: monospace; font-size: 1.2em; min-width: 7em; } +#log tr:hover td, #files tr:hover td { background-color: #eeeeee; } +.url td { font-family: monospace; } +table tr td a img { min-width: 33px; } diff --git a/top.html b/top.html @@ -3,7 +3,7 @@ <head> <title> TITLE | Sebastiano Tronto </title> <meta name="viewport" content="width=device-width" /> - <link rel="stylesheet" type="text/css" href="/style-4.css"> + <link rel="stylesheet" type="text/css" href="/style-5.css"> <link rel="icon" href="/favicon.png"> <meta charset="utf-8"> </head>