diff options
-rw-r--r-- | html/theme.css | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/html/theme.css b/html/theme.css index cf8a6fa..0247b72 100644 --- a/html/theme.css +++ b/html/theme.css @@ -201,6 +201,9 @@ code { content: "•";
padding: 0 0.5rem 0 0;
}
+ .main ul li p { margin: 0; }
+ .main ul li ul li { margin: 0 0 0 2.6rem; }
+
.toc {
margin: 2rem 0 4rem;
@@ -268,9 +271,14 @@ pre.sourceCode { background: var(--code-bg-color);
color: var(--code-text-color);
}
-.sourceLine .er { color: var(--code-error-color); }
-.sourceLine .dt { color: var(--code-datatype-color); }
-.sourceLine .st { color: var(--code-string-color); }
+.sourceCode .er { color: var(--code-error-color); }
+.sourceCode .dt { color: var(--code-datatype-color); }
+.sourceCode .st { color: var(--code-string-color); }
+
+/* Indentation adjustment hack */
+code.sourceCode span[id^="cb"] { margin: 0 0 0 -4rem; }
+code.sourceCode:first-child { margin: 0 0 0 4rem; }
+code.sourceCode .dt { margin: 0 0 0 -2rem; }
/* Media queries ---------------------------------------------------------- */
@@ -278,6 +286,14 @@ pre.sourceCode { @media (max-width: 689px) {
.header, .main, .footer { padding: 0 2rem; }
+ /* Scale header logo */
+ .header-title__link img {
+ max-width: 90%;
+ position: relative;
+ object-fit: cover;
+ object-position: center;
+ }
+
/* Stack nav items */
.nav { width: 18rem; }
.nav__link { display: block; }
|