From 60d388dfb4838e3a29fd3be78f703b5abfb82a35 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Fri, 29 Nov 2019 01:59:06 -0500 Subject: [PATCH 1/1] various style tweaks --- haunt.scm | 15 ++++++++------ gpl-3.0.html => static/gpl-3.0.html | 3 +-- static/style.css | 31 +++++++++++++++++++++-------- 3 files changed, 33 insertions(+), 16 deletions(-) rename gpl-3.0.html => static/gpl-3.0.html (99%) diff --git a/haunt.scm b/haunt.scm index be470cd..6a6f113 100644 --- a/haunt.scm +++ b/haunt.scm @@ -197,17 +197,20 @@ (dd "Library and CLI for converting TeX and LaTeX to PNG " "images")) (h2 (@ (id "notes")) "Notes") - (ul + (table + (@ (class "post-list")) + (tbody ,@(map (lambda (post) (define (post-uri post) (string-append "/" (site-post-slug site post) ".html")) - `(li - (a (@ (href ,(post-uri post))) - ,(post-ref post 'title)) - " — " ,(date->string (post-date post) "~B ~d, ~Y"))) - (take-up-to 10 (posts/reverse-chronological posts)))))) + `(tr + (td (a (@ (href ,(post-uri post))) + ,(post-ref post 'title))) + (td (@ (style "font-size: 0.875em;")) + ,(date->string (post-date post) "~B ~d, ~Y")))) + (take-up-to 10 (posts/reverse-chronological posts))))))) (define (index-page site posts) (make-page diff --git a/gpl-3.0.html b/static/gpl-3.0.html similarity index 99% rename from gpl-3.0.html rename to static/gpl-3.0.html index be92b65..30acfc3 100644 --- a/gpl-3.0.html +++ b/static/gpl-3.0.html @@ -9,8 +9,7 @@
+ line-height: 1.5;">

GNU GENERAL PUBLIC LICENSE

Version 3, 29 June 2007

diff --git a/static/style.css b/static/style.css index ea05296..e4e2d77 100644 --- a/static/style.css +++ b/static/style.css @@ -1,4 +1,5 @@ body { + /* background: #fffffa; */ font-family: sans-serif; line-height: 1.6; padding: 2em; @@ -19,9 +20,11 @@ p { margin: 1em 0; } header { - font-size: 0.875em; margin-bottom: 1.5em; } +header >:not(h1) { + font-size: 0.875em; +} footer { border-top: 1px solid #bbb; font-size: 0.84em; @@ -49,15 +52,15 @@ h3 { } a { - color: #295bad; + color: #006cdc; + padding: 0.3em 0; text-decoration: none; } a:hover, a:focus { transition-property: background; transition-duration: 0.1s; background: #f2f8fa; - padding: 0.25em 0; - color: #0745ad; + color: #0054c0; /* #003ea4 */ } a:active { color: #a10029; @@ -108,7 +111,7 @@ em { } table td { - padding: 0 0.3em; + padding: 0.3em 0; } table td:first-child { padding-left: 0; @@ -116,12 +119,21 @@ table td:first-child { table td:last-child { padding-right: 0 } +tbody tr:hover { + background: #f2f8fa; /* #f6f6f6; */ +} +.post-list { + width: 100%; +} +.post-list td:nth-child(2) { + text-align: right; +} dt { margin-bottom: 0.15em; } dd { - font-size: 0.9em; + font-size: 0.875em; margin-left: 1.5em; margin-bottom: 0.75em; } @@ -129,7 +141,7 @@ dd:last-child { margin-bottom: 1em; } .plinks { - font-size: 0.9em; + font-size: 0.875em; } ul, ol { @@ -148,9 +160,12 @@ ul > li::before { left: 0.5em; } -h2 + ul, h3 + ul, h2 + dl, h3 + dl { +h2 + ul, h2 + dl, h2 + table { margin-top: 1em; } +h2 + .post-list { + margin-top: 0.7em; +} sup, sub { font-size: 0.85em; } sup { vertical-align: super; } -- 2.20.1