misc: don't underline navigation links on hover (#46736)

This commit is contained in:
Serghei Mihai 2020-09-18 11:44:40 +02:00
parent b6abd0d209
commit 2d7a5e3e20
1 changed files with 3 additions and 0 deletions

View File

@ -775,6 +775,9 @@ div#footnote {
float: none;
margin: 0 0.5em;
}
a:hover {
text-decoration: none;
}
div.cut-back {
text-align: right;