diff options
| author | Prefetch | 2022-11-20 11:36:46 +0100 |
|---|---|---|
| committer | Prefetch | 2022-11-20 11:36:46 +0100 |
| commit | 41420c0e32cba69d4f4e19175bd3350fed427275 (patch) | |
| tree | a5391cc76fb1e46387384044f4d5f0218400cdb9 /source/infra | |
| parent | 4880f641ade11e60f18f907fdf0660ca349714a7 (diff) | |
Publish "Website adventures" part 2 about HTML and CSS
Diffstat (limited to 'source/infra')
| -rw-r--r-- | source/infra/css/main.css | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/source/infra/css/main.css b/source/infra/css/main.css index 242c08d..0b1b47f 100644 --- a/source/infra/css/main.css +++ b/source/infra/css/main.css @@ -15,16 +15,11 @@ } /* Basic elements */ -/* See also https://github.com/necolas/normalize.css/blob/master/normalize.css */ html { line-height: 1.5; -webkit-text-size-adjust: none; text-size-adjust: none; } -hr { - box-sizing: content-box; - height: 0; -} body { background: #ededed; background: var(--b); @@ -46,13 +41,13 @@ h4 { font-style: italic; } a { - background-color: transparent; + background-color: transparent; /* normalize.css */ text-decoration: none; color: #0000ff; color: var(--a); } img { - border-style: none; + border-style: none; /* normalize.css */ display: block; max-width: 100%; height: auto; @@ -64,7 +59,6 @@ td {padding: 0 1.5rem;} font-family: monospace, monospace; font-size: 1em; }*/ -b, strong {font-weight: bolder;} /* Header and footer */ .nav { @@ -98,8 +92,7 @@ b, strong {font-weight: bolder;} /* IE-compatible collapsible proofs */ div.proof { - display: block; - border: dotted; + border: 3px dotted; padding: 0.25rem 0.5rem; } label.proof { |