commit 0920e586edb41bf44bc81fe15fe8ad947789b575 parent 17897c62d0ba974d0c019fd0a1d996b52c470ee0 Author: Ville-Matias Heikkila <viznut@low.fi> Date: Sun, 21 Aug 2022 17:35:20 +0300 add the old local.css in the beginning Diffstat:
| M | local.css | | | 31 | +++++++++++++++++++++++++++++++ |
1 file changed, 31 insertions(+), 0 deletions(-)
diff --git a/local.css b/local.css @@ -1,4 +1,35 @@ body { + margin: 40px auto; + max-width: 41em; + padding: 0 10px; +} + +code { + font-size: 15px; +} + +pre { + font-size: 15px; + padding: 1em; + background-color: #337; + color: #3FF; + font-weight: bold; +} + +a { + text-decoration: none; +} + +.bottom_menu { + display: block; + margin-top: 1em; +} + +.last_edit { + font-style: italic; +} + +body { font-size: 1rem; font-family: courier; line-height: 1.4;