diff options
| -rw-r--r-- | doc/global/template/style/htmltabs.css | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/doc/global/template/style/htmltabs.css b/doc/global/template/style/htmltabs.css index f09ec9f8c8..f904fb1635 100644 --- a/doc/global/template/style/htmltabs.css +++ b/doc/global/template/style/htmltabs.css @@ -13,7 +13,6 @@ input[type="radio"], input[type="radio"] ~ .tabcontent { display: none; margin: 0; - padding: 0; } input[type="radio"] + label { @@ -44,12 +43,18 @@ input[type="radio"]:checked + label { /* Some styling for the content */ div.tabcontent { - padding-left: 10px; - padding-top: 2px; border-left: 3px solid #ccc; border-top: 1px solid #ccc; } +div.tabcontent >:first-child:not(.pre) { + padding-top: 2px; +} + +div.tabcontent >:not(.pre) { + padding-left: 10px; +} + div.tabcontent pre { margin-top: 0; } |