diff options
-rw-r--r-- | style.css | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -52,8 +52,8 @@ pre { font-family: inherit; } .permalink { - border-bottom: thin dotted; - color: inherit; + /* border-bottom: thin dotted; */ + color: var(--fg) !important; font: inherit; text-decoration: inherit; } @@ -408,7 +408,9 @@ a.In { font-weight: normal; font-family: monospace; } + /* Tooltip support. */ +/* h1.Sh, h2.Ss { position: relative; } @@ -528,6 +530,7 @@ h2.Ss::before { opacity: 1; pointer-events: inherit; } +*/ /* Overrides to avoid excessive margins on small devices. */ @media (max-width: 37.5em) { .manual-text { |