X-Git-Url: https://git.r.bdr.sh/rbdr/r.bdr.sh/blobdiff_plain/11f7c101c8d89250d593a318743f5a6c6edd27b7..5d993deb15bca0376653c8aa2473ba50e3a8630a:/css/style.css?ds=inline

diff --git a/css/style.css b/css/style.css
index af7a7bc..a1a37c3 100644
--- a/css/style.css
+++ b/css/style.css
@@ -1,6 +1,4 @@
-html {
-  scroll-behavior: smooth;
-}
+html { scroll-behavior: smooth }
 
 body {
   font-size: 1em;
@@ -23,44 +21,35 @@ aside {
 }
 
 @media only screen and (min-width: 500px) {
-  body {
-    overflow-x: auto;
-  }
+  body { overflow-x: auto }
+  main { padding: 0 0 0 74px }
 
-  main {
-    padding: 0 0 0 66px
+  h1 a {
+    display: block;
+    width: 64px;
   }
 
-  .columned {
-    width: max-content;
-  }
+  .columned { width: max-content }
 
   .columned .h2:not(:only-child) {
     float: left;
     margin: 0 40px;
   }
 
-  .columned .h2:not(:only-child) h2 {
-    width: 14.6em;
-  }
+  .columned .h2:not(:only-child) h2 { width: 14.6em }
 
   .columned .h2:not(:only-child) .h3,
   .columned .h2:not(:only-child) li,
-  .columned .h2:not(:only-child) p {
-    width: 24em;
-  }
-
+  .columned .h2:not(:only-child) p { width: 24em }
   .columned .h2:not(:only-child) pre { width: 25em }
 
   header {
     float: left;
-    margin-top: 1.2em;
+    margin-top: 0.8em;
   }
 }
 
-.columned .h2:first-of-type pre {
-  line-height: 1;
-}
+.columned .h2:first-of-type pre { line-height: 1 }
 
 blockquote, p, article > div {
   margin: 0 0.3em;
@@ -77,7 +66,7 @@ h1, h2, h3 { font-weight: normal }
 h1 { font-size: 2em }
 h2 { font-size: 1.65em }
 h3 { font-size: 1.25em }
-main h1 { font-size: 1em }
+header h1 { font-size: 1em }
 pre {
   font-family: courier, monospace;
   font-size: 0.875em;
@@ -105,22 +94,13 @@ canvas {
     border: 1px solid #fff;
   }
 
-  h1 a {
-    display: block;
-    width: 64px;
-  }
-
   a {
     color: #5dc1fd;
     display: inline-block;
     min-height: 48px;
   }
 
-  a:visited {
-    color: #ed6eff;
-  }
+  a:visited { color: #ed6eff }
 
-  pre {
-    background-color: #222;
-  }
+  pre { background-color: #222 }
 }