diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/style.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index c857157b6..ea18ca0c3 100644 --- a/doc/style.css +++ b/doc/style.css @@ -69,6 +69,10 @@ margin-top: 1em; } +.inlinepage .tags { + display: inline; +} + .mapparent { text-decoration: none; } |