theme: fix display of tooltip for heading anchor #241

broken in #224
This commit is contained in:
Sören Weber 2022-05-23 14:24:41 +02:00
parent 1599f8b09a
commit d23058e369
No known key found for this signature in database
GPG key ID: 07D17FF580AE7589
2 changed files with 5 additions and 2 deletions

View file

@ -62,11 +62,13 @@ pre {
#body code, #body strong, #body b,
#body li, #body dd, #body dt,
#body p,
#body .anchor,
#body a {
/* better contrast for colored elements */
color: black;
}
#body .anchor{
display: none;
}
#body pre,
#body code {
background-color: white;

View file

@ -1403,7 +1403,8 @@ option {
cursor: pointer;
font-size: .5em;
margin-left: .66em;
vertical-align: middle;
margin-top: .9em;
position: absolute;
visibility: hidden;
}