feat(theme): headings anchor should not be selectable (#1701)

pull/1710/head
Rami Yushuvaev 2 years ago committed by GitHub
parent 421e5ce5e6
commit 505a4f8eee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -40,6 +40,7 @@
margin-left: -0.87em;
padding-right: 0.23em;
font-weight: 500;
user-select: none;
opacity: 0;
transition: color 0.25s, opacity 0.25s;
}

Loading…
Cancel
Save