updates and new post: 'Summer of PLT'

1 files changed, 28 insertions, 54 deletions

diff --git a/prose.css b/prose.css
index a9f6dc1..0babb5e 100644
--- a/prose.css
+++ b/prose.css
@@ -1,50 +1,8 @@
 @import url('https://fonts.googleapis.com/css2?family=Gelasio:ital,wght@0,400..700;1,400..700&display=swap');
 
-html,
-body {
-    overflow-x: hidden;
-    overflow-y: auto;
-}
-
-body {
-    display: grid;
-    grid-template-columns: minmax(0, 1fr) minmax(0, 75ch) minmax(0, 1fr);
-    align-items: start;
-    column-gap: 2rem;
-    padding: 2rem 1.25rem 4rem;
-}
-
-.toc {
-    grid-column: 1;
-    width: min(17rem, 22vw);
-    position: fixed;
-    top: 32px;
-    left: max(0.75rem, calc(50vw - 37.5ch - 20rem));
-    max-height: calc(100vh - 2rem);
-    overflow-y: auto;
-    padding-right: 0.75rem;
-    z-index: 1;
-}
-
-.toc ul {
-    margin: 0;
-    padding-left: 1rem;
-}
-
-.toc li {
-    margin-bottom: 0.35rem;
-}
-
 .content {
-    grid-column: 2;
     width: 100%;
-    margin: 0 auto;
-    padding: 0 0 2rem;
     max-width: 75ch;
-    height: auto;
-    flex-grow: 0;
-    flex-shrink: 1;
-    overflow: visible;
 }
 
 p {
@@ -57,12 +15,23 @@ p {
 a {
     color: #4DA3FF;
     transition: color 0.2s ease, background-color 0.2s ease;
+    border-radius: 3px;
+
+    &:hover {
+        background-color: #4DA3FF;
+        color: #121212;
+        text-decoration: none;
+    }
+}
+
+code {
+    font-family: 'Roboto Mono';
+    font-size: 0.9rem;
+    color: #00ff78;
 }
 
-a:hover {
-    background-color: #4DA3FF;
-    color: #121212;
-    text-decoration: none;
+li {
+    font-family: 'Gelasio';
 }
 
 li::marker {
@@ -105,15 +74,20 @@ p.comment {
         padding: 1rem 1rem 3rem;
     }
 
-    .toc {
-        position: static;
-        width: auto;
-        max-height: none;
-        margin-bottom: 1.25rem;
-        padding-right: 0;
-    }
-
     .content {
         padding: 0;
     }
 }
+
+summary {
+    font-family: 'Gelasio';
+    color: #888;
+
+    &::marker {
+        color: #888;
+    }
+}
+
+code .path {
+    color: #888;
+}