Changeset 90e0d35 for public/css/custom.css

Timestamp:

Jan 5, 2020, 9:26:16 PM (5 years ago)

Author:

Mikhail Kirillov <w96k@…>

Branches:

master

Children:

d55e988

Parents:

98fbfa4

Message:

Add cv; Add cc license pic; Add favicon;

File:

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

public/css/custom.css

@@ -65 +65 @@
 
 #preamble {
+    max-width: calc(80ch + 6em);
     margin: var(--universal-margin);
     box-shadow: 0 1px 3px rgba(0,0,0,.1);
@@ -82 +83 @@
 #table-of-contents {
     z-index: 1050;
-    font-size: 9pt;
+    font-size: 10pt;
     position: fixed;
     right: calc(var(--universal-margin) + 0.5em);
-    top: 79px;
+    top: calc(var(--universal-margin) + 0.5em);
     background: #fefefe;
     line-height: 12pt;
     box-shadow: 0 1px 3px rgba(0,0,0,.1);
+    border: none;
     max-height: 80%;
     overflow: auto;