diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/style.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/style.css b/doc/style.css index bdd4bb466..44e06ae4f 100644 --- a/doc/style.css +++ b/doc/style.css @@ -236,7 +236,7 @@ div.recentchanges { margin-top: -1px; padding: 0ex 2ex; background: white; - border: 2px solid black; + border: 1px solid black; color: black !important; } |