diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/style.css | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/doc/style.css b/doc/style.css index 4fa48b140..4770fc942 100644 --- a/doc/style.css +++ b/doc/style.css @@ -24,6 +24,10 @@ padding: 6px; list-style-type: none; } +.actions li { + display: inline; + padding: .2em .4em; +} .pageheader .actions ul { border-bottom: 1px solid #000; } @@ -37,6 +41,10 @@ padding: 6px; list-style-type: none; } +#otherlanguages li { + display: inline; + padding: .2em .4em; +} .pageheader #otherlanguages { border-bottom: 1px solid #000; } @@ -45,11 +53,6 @@ div.inlinecontent { margin-top: .4em; } -.actions li { - display: inline; - padding: .2em .4em; -} - .pagefooter { clear: both; } |