Clanker css & push script cleanup

2 files changed, 42 insertions, 26 deletions

diff --git a/push b/push
index c4922d0..1364b46 100755
--- a/push
+++ b/push
@@ -2,6 +2,5 @@
 set -o errexit
 set -o xtrace
 
-rsync -av ~/website/ yummers.dev:~/website/
+rsync -av --exclude='.*' --exclude='site_generated/' --exclude='pandoc-*.deb' ~/website/ yummers.dev:~/website/
 ssh yummers.dev 'cd website && ./make_html ./index.md'
-
diff --git a/template.html b/template.html
index c5f4a99..8493598 100755
--- a/template.html
+++ b/template.html
@@ -23,16 +23,42 @@ $endif$
   </style>
   <style>
     /* regular text */
-    body, math {
+    body {
       font-family: sans-serif;
     }
+    /* math */
+    math {
+      font-family: math;
+    }
     /* code */
     pre, code, kbd, samp {
       font-family: monospace;
     }
-    video { max-width: 100%; height: auto; }
+    video {
+      max-width: 100%;
+      height: auto;
+    }
+    math[display="block"] {
+      display: block;
+      overflow-x: auto;
+    }
+    /* Tomorrow theme: https://github.com/chriskempson/tomorrow-theme */
+    :root {
+      color-scheme: light dark;
+      --background-color: #ffffff;
+      --current-line-color: #e0e0e0;
+      --selection-color: #d6d6d6;
+      --foreground-color: #4d4d4c;
+      --comment-color: #8e908c;
+      --red-color: #c82829;
+      --orange-color: #f5871f;
+      --yellow-color: #eab700;
+      --green-color: #718c00;
+      --aqua-color: #3e999f;
+      --blue-color: #4271ae;
+      --purple-color: #8959a8;
+    }
     @media (prefers-color-scheme: dark) {
-      /* Tomorrow night theme: https://github.com/chriskempson/tomorrow-theme */
       :root {
         --background-color: #1d1f21;
         --current-line-color: #282a2e;
@@ -48,28 +74,10 @@ $endif$
         --purple-color: #b294bb;
       }
     }
-    @media (prefers-color-scheme: light) {
-      /* Tomorrow theme: https://github.com/chriskempson/tomorrow-theme */
-      :root {
-        --background-color: #ffffff;
-        --current-line-color: #e0e0e0;
-        --selection-color: #d6d6d6;
-        --foreground-color: #4d4d4c;
-        --comment-color: #8e908c;
-        --red-color: #c82829;
-        --orange-color: #f5871f;
-        --yellow-color: #eab700;
-        --green-color: #718c00;
-        --aqua-color: #3e999f;
-        --blue-color: #4271ae;
-        --purple-color: #8959a8;
-      }
-    }
     /* basic styling */
-    html, body {
+    html {
       background-color: var(--background-color);
       color: var(--foreground-color);
-      padding-left: 1em;
     }
     a { color: var(--foreground-color); }
     a:visited { color: var(--foreground-color); }
@@ -84,11 +92,11 @@ $endif$
       background-color: var(--selection-color);
     }
     /* code */
-    .sourceCode {
+    div.sourceCode {
       background-color: var(--current-line-color);
       border-radius: 1em;
     }
-    .sourceCode pre {
+    div.sourceCode > pre {
       padding: 1em;
       background: transparent;
       color: var(--foreground-color);
@@ -105,6 +113,15 @@ $endif$
     code span.co { font-style: italic; }
     code span.er { text-decoration: underline; }
     code span.al { font-weight: bold; }
+    @media print {
+      html, body {
+        background-color: white;
+        color: black;
+      }
+      a, a:visited {
+        color: black;
+      }
+    }
   </style>
 $for(css)$
   <link rel="stylesheet" href="$css$" />