Changeset 688d021 for public/css/custom.css

Timestamp:

Jan 19, 2020, 5:04:45 PM (5 years ago)

Author:

Mikhail Kirillov <w96k@…>

Branches:

master

Children:

885bdd3

Parents:

61a051b

Message:

Fix source block font

File:

• public/css/custom.css (modified) (3 diffs)

public/css/custom.css

@@ -3 +3 @@
 }
 
-article {
+article,
+#footnotes {
     max-width: calc(80ch + 4em);
     border-radius: 0.em;
@@ -11 +12 @@
     box-shadow: 0 1px 3px rgba(0,0,0,.1);
     position: relative;
+}
+
+.footdef {
+    margin-bottom: 0;
 }
 
@@ -172 +177 @@
     padding: 0.1em 0;
 }
+
+.abstract {
+    font-style: italic;
+    background: var(--nav-hover-back-color);
+    border-radius: 0.05em;
+}
+
+.src span {
+    font-family: monospace;
+}