style fixes

Author: wilfreddenton

assets/css/style.css

@@ -65,7 +65,7 @@
 }
 
 @font-face {
-	font-family: 'Iosevka Web';
+	font-family: 'Iosevka';
 	font-weight: 400;
 	font-style: normal;
 	src: url('/static/fonts/iosevka-regular.woff2') format('woff2'),
@@ -74,7 +74,7 @@
 }
 
 @font-face {
-	font-family: 'Iosevka Web';
+	font-family: 'Iosevka';
 	font-weight: 400;
 	font-style: italic;
 	src: url('/static/fonts/iosevka-italic.woff2') format('woff2'),
@@ -83,7 +83,7 @@
 }
 
 @font-face {
-	font-family: 'Iosevka Web';
+	font-family: 'Iosevka';
 	font-weight: 700;
 	font-style: normal;
 	src: url('/static/fonts/iosevka-bold.woff2') format('woff2'),
@@ -92,7 +92,7 @@
 }
 
 @font-face {
-	font-family: 'Iosevka Web';
+	font-family: 'Iosevka';
 	font-weight: 700;
 	font-style: italic;
 	src: url('/static/fonts/iosevka-bolditalic.woff2') format('woff2'),
@@ -150,7 +150,6 @@ pre {
 }
 
 pre code {
-  counter-increment: line;
   display: block;
   background-color: rgb(238, 238, 238) !important
 }
@@ -160,22 +159,8 @@ p code {
   padding: 0 0.15rem;
 }
 
-.hljs-ln-numbers {
-  -webkit-touch-callout: none;
-  -webkit-user-select: none;
-  -khtml-user-select: none;
-  -moz-user-select: none;
-  -ms-user-select: none;
-  user-select: none;
-
-  text-align: center;
-  color: #999;
-  vertical-align: top;
-  padding-right: 1rem !important;
-}
-
 code, pre {
-  font-family: 'Iosevka Web', monospace;
+  font-family: 'Iosevka', monospace;
 }
 
 code {
@@ -237,7 +222,7 @@ input, textarea {
 
 textarea {
   display: block;
-  font-family: 'Iosevka Web', monospace;
+  font-family: 'Iosevka', monospace;
   min-height: 100px;
 }
 
@@ -296,12 +281,12 @@ body > .container:first-child {
 
 #view-source {
   float: right;
-  font-family: 'Iosevka Web', monospace;
+  font-family: 'Iosevka', monospace;
   margin-top: -0.4rem;
 }
 
 #monero {
-  font-family: 'Iosevka Web', monospace;
+  font-family: 'Iosevka', monospace;
   font-size: 0.8rem;
 }
 
@@ -326,12 +311,12 @@ li:hover span.inset {
 
 .post-list-date {
   text-alignt: right;
-  font-family: 'Iosevka Web', monospace;
+  font-family: 'Iosevka', monospace;
   font-size: 0.9rem;
 }
 
 .post-date {
-  font-family: 'Iosevka Web', monospace;
+  font-family: 'Iosevka', monospace;
   font-size: 0.9rem;
 }
 
@@ -353,7 +338,7 @@ li:hover span.inset {
 @media (max-width: 768px) {
   body > .container:first-child {
     padding-top: 1rem;
-    padding-bottom: 10rem;
+    padding-bottom: 18rem;
   }
 
   .content {

assets/img/cc.png

@@ -1,5 +1,5 @@
 function trimLines(s) {
-  return s.split('\n').map(l => l.trim()).join('\n')
+  return s.split('\n').map(l => l.trimEnd()).join('\n')
 }
 
 async function main() {

assets/js/author.js

@@ -2,14 +2,13 @@ function main() {
   // code
   document.querySelectorAll('pre code').forEach(block => {
     hljs.highlightBlock(block)
-    hljs.lineNumbersBlock(block)
   })
 
   // math
   renderMathInElement(document.body)
 
   // videos
-  document.querySelectorAll('video').forEach(v => {
+  document.querySelectorAll('video').forEach(async v => {
     v.addEventListener('pause', () => {
       if (v.autoplay) {
         v.play()

assets/js/highlightjs-line-numbers.min.js

@@ -32,7 +32,7 @@ instance ToHtml a => ToHtml (Template a) where
       let description = case descriptionM of
             Nothing -> "unsafePerformIO is the blog and personal website of Wilfred Denton."
             Just description' -> description'
-          assetVer = "7"
+          assetVer = "10"
       title_ $ toHtml title
       meta_ [charset_ "utf-8"]
       meta_ [name_ "description", content_ description]
@@ -59,8 +59,7 @@ instance ToHtml a => ToHtml (Template a) where
       script_ [src_ "/static/katex/katex.min.js"] ("" :: Text)
       script_ [src_ "/static/katex/auto-render.min.js"] ("" :: Text)
       script_ [src_ "/static/js/highlight.pack.js"] ("" :: Text)
-      script_ [src_ "/static/js/highlightjs-line-numbers.min.js"] ("" :: Text)
-      script_ [src_ $ "/static/js/script.js?=" <> assetVer, async_ "true"] ("" :: Text)
+      script_ [src_ $ "/static/js/script.js?=" <> assetVer] ("" :: Text)
       script_ [src_ "https://www.googletagmanager.com/gtag/js?id=UA-131857401-1", async_ "true"] ("" :: Text)
       script_ "window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-131857401-1');"
     body_ $ do
@@ -87,7 +86,7 @@ instance ToHtml a => ToHtml (Template a) where
             img_
               [ alt_ "Creative Commons License",
                 style_ "border-width:0",
-                src_ "https://i.creativecommons.org/l/by-sa/3.0/us/80x15.png"
+                src_ "/static/img/cc.png"
               ]
           button_ [id_ "view-source", href_ "https://github.com/wilfreddenton/unsafePerformIO", target_ "_blank"] "</>"