diff --git a/doc/dune-doxy.css b/doc/dune-doxy.css index 8a17e124e93542eda4594d97fcbd06f0ada6c5f0..d1123deef6cb6cef8151d6a7a463bcb3906d749c 100644 --- a/doc/dune-doxy.css +++ b/doc/dune-doxy.css @@ -189,6 +189,14 @@ h4 { text-align: left; } +a.anchor, +a.anchor:hover, +a.anchor:active +{ + background-color: white; + color: black; +} + hr { border: 0px; background-color: #5974b5;