more theming again

content/assets/theme.css

@@ -89,7 +89,7 @@ a.footnote-ref sup::after  { content: ']' }
 
 a {
   color: inherit;
-  font-weight: 500;
+  font-weight: 400;
 }
 
 a:hover {text-decoration: underline}
@@ -135,7 +135,6 @@ strong {
   padding: 0 1em;
   box-sizing: border-box;
   display: flex;
-  line-height: 40px;
   width: 100%;
 }
 
@@ -144,7 +143,7 @@ strong {
 }
 
 #hd section > a {
-  margin:-2px 1em 0 0;
+  margin: 0 1em 0 0;
   display: flex;
   align-items: center;
 }
@@ -166,6 +165,10 @@ main, #ft, .breadcrumb {
   margin: 0em auto;
 }
 
+#ft {
+  padding-bottom: 1.5em;
+}
+
 main {
   padding: 0 1em;
   margin: 2em auto;
@@ -245,7 +248,6 @@ main blockquote {
   font-style: italic;
 }
 
-main pre { padding: 0 0 0 1em }
 main h2 { font-size: 1.6em; margin: 1em 0 .5em }
 main h1 + h2 {margin-top: 0}
 main h3 { font-size: 1.3em; margin: 1em 0 .5em }
@@ -258,13 +260,9 @@ dt {text-align: right; font-weight: 500;}
 dd {margin:0}
 dd p {margin:0}
 
-code, pre.Agda {font: .9em "Source Code Pro", monospace}
+code, pre.Agda {font: 1em "Source Code Pro", monospace}
 pre.Agda a {font-weight: inherit; text-decoration: none}
-pre.Agda a[href]:hover { background: var(--yellow) }
+pre.Agda a[href]:hover { box-shadow: 0 2px 0 var(--yellow) }
-
-code, pre.sourceCode, pre.Agda {
-  border-radius: 3px;
-}
 
 code {
     display: inline-block;
@@ -273,20 +271,20 @@ code {
 
 pre > code {display: block}
 
-pre.sourceCode {
+pre {
-  margin:2em 0;
+  margin:1.5em 0;
   padding: .8em 0;
   line-height: 1;
   overflow: auto;
 }
 
 pre.Agda {
-  margin: 2em 0;
+  margin: 1.5em 0;
   padding: .8em 1em;
   overflow: auto;
 }
 
-pre.sourceCode > code {
+pre > code {
     display: inline-block;
     margin: 0 1em;
 }
@@ -384,6 +382,40 @@ section.visual.tiny figure img { height: 100% }
 .vs {color:#4070a0}
 .wa {color:#60a0b0; font-weight: bold; font-style: italic; }
 
+@media (prefers-color-scheme: dark) {
+  .al {color: #DC322F; font-weight: bold; }
+  .an {color: #60a0b0; font-weight: bold; font-style: italic; }
+  .at {color:#7d9029}
+  .bn {color:#40a070}
+  .cf {color:#007020; font-weight: bold; }
+  .ch {color:#4070a0}
+  .cn, .Agda .InductiveConstructor, .Field {color:#2AA198}
+  .co, .Agda .Comment {color:#60a0b0; font-style: italic; }
+  .cv {color:#60a0b0; font-weight: bold; font-style: italic; }
+  .do {color:#ba2121; font-style: italic; }
+  .dt, .Agda .PrimitiveType
+     , .Agda .Datatype {color:#B58900}
+  .dv {color:#40a070}
+  .er {color:#f00; font-weight: bold; }
+  .fl {color:#40a070; }
+  .fu, .Agda .Function {color:#268BD2; }
+  .in {color:#60a0b0; font-weight: bold; font-style: italic; }
+  .kw, .Agda .Keyword {color: #859900; }
+  .op {color:#666}
+  .ot, .Agda .Symbol {color:#93A1A1}
+  .pp {color:#bc7a00}
+  .sc {color:#4070a0}
+  .ss {color:#bb6688}
+  .st {color:#4070a0}
+  .va {color:#19177c}
+  .vs {color:#4070a0}
+  .wa {color:#60a0b0; font-weight: bold; font-style: italic; }
+
+  div.sourceCode, pre.Agda, code, pre {
+    background: #2f3542;
+  }
+}
+
 table.books {
   border-collapse: collapse;
   margin: 0 auto;
@@ -403,7 +435,8 @@ table.books tr td:last-child  {text-align: center;color: var(--yellow)}
 
 .breadcrumb {
   padding-bottom: 0;
-  padding-top: 1em;
+  padding-top: 0;
+  margin-top: 2em;
 }
 
 .breadcrumb .sep {

src/Config.hs

@@ -16,7 +16,7 @@ config = def
     , ignore     = [ "**/*.agdai"
                    , "**/*~"
                    ]
-    } where root = "/home/flupe/dev/acatalepsie/"
+    } where root = "/home/flupe/dev/site/"
 
 
 ropts :: Pandoc.ReaderOptions

src/Route.hs

@@ -45,5 +45,5 @@ breadcrumb route =
     case walk route of
         [] -> mempty
         xs -> p_ [class_ "breadcrumb"] $
-                  foldl' (\b r -> b <> sep <> link r) "∅" xs
+                  foldl' (\b r -> b <> sep <> link r) "⊙" xs
     where sep = span_ [class_ "sep"] "←"