Revert

assets/css/fonts.css

@@ -0,0 +1,15 @@
+@font-face {
+    font-family: 'JetBrains Mono';
+    src: url('/assets/font/JetBrainsMono-Regular.woff2') format('woff2'),
+         url('/assets/font/JetBrainsMono-Regular.woff') format('woff');
+    font-weight: normal;
+    font-style: normal;
+}
+
+@font-face {
+    font-family: 'Lato';
+    src: url('/assets/font/lato-regular-webfont.woff2') format('woff2'),
+         url('/assets/font/lato-regular-webfont.woff') format('woff');
+    font-weight: normal;
+    font-style: normal;
+}

assets/css/style.scss

@@ -0,0 +1,119 @@
+---
+---
+
+// Import the theme rules
+@import "theme";
+
+body {
+    max-width: 100%;
+    overflow-x: hidden;
+    font-family: 'Lato', sans-serif;
+}
+
+.navbar {
+    color: $gray;
+}
+
+.separator {
+    margin-right: .45rem;
+    margin-left: .25rem;
+    color: #000;
+    &:after {
+        content: '\00a0/';
+    }
+}
+
+header {
+    padding-top: 80px;
+    padding-bottom: 0;
+};
+
+header h1,h2 {
+    color: #000;
+}
+
+.post-description {
+    color: #555;
+}
+
+.post-container a {
+    color: #555;
+    border-bottom-color: $gray;
+    border-bottom-style: dotted;
+    border-bottom-width: 1px;
+
+    position: relative;
+    display: inline-block;
+    padding: 1px 1px;
+    transition: color ease 0.3s;
+
+    &::after {
+      content: '';
+      position: absolute;
+      z-index: -1;
+      width: 100%;
+      height: 0%;
+      left: 0;
+      bottom: 0;
+      background-color: $gray;
+      transition: all ease 0.3s;
+    }
+
+    &:hover {
+      color: #fff;
+      border-bottom-style: solid;
+      &::after {
+        height: 100%;
+      }
+    }
+}
+
+body pre {
+    font-size: 15px;
+}
+
+pre.highlight, code {
+    font-family: 'JetBrains Mono', monospace;
+}
+
+div.highlighter-rouge {
+    // Default theme uses `width: 100vw`, which while cool, does cause the page
+    // to exceed screen width and trigger horizontal scrolling. No bueno.
+    width: 99vw;
+}
+
+.post-date {
+    // On the front page, make sure titles don't force wrapping the date box content
+    text-align: right;
+    white-space: nowrap;
+}
+
+blockquote {
+    color: #555;
+    right: 100px;
+    margin-left: 0;
+    padding-left: 1.8rem;
+    border-left: 5px solid $gray;
+}
+
+.post-nav {
+    /* Insert your custom styling here. Example:
+
+       font-size: 14px;
+    */
+    display: flex;
+    margin-top: 1em;
+    margin-bottom: 1em;
+}
+.post-nav div {
+    /* flex-grow, flex-shrink, flex-basis */
+    flex: 1 1 0;
+}
+.post-nav-next {
+    text-align: right;
+}
+
+th, td {
+    border-bottom: 1px solid $gray;
+    padding: 0.75em;
+}