diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/static/style.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/public/static/style.css b/public/static/style.css index a83e128..1d277b7 100644 --- a/public/static/style.css +++ b/public/static/style.css @@ -286,6 +286,10 @@ object.pdf { pre.box { /* Instead of scrolling overflow for long lines, grow the box. */ width: fit-content; + + span:target { + background: var(--shade-background); + } } .overview, .release, .wiki { |
