Deploy website - based on 6dcbc1a72c

assets/css/fonts.css

@@ -1,15 +0,0 @@
-@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

@@ -1,119 +0,0 @@
----
----
-
-// 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;
-}