diff --git a/doc/global/template/style/htmltabs.css b/doc/global/template/style/htmltabs.css
index f904fb1635d..8dd310fffd3 100644
--- a/doc/global/template/style/htmltabs.css
+++ b/doc/global/template/style/htmltabs.css
@@ -47,11 +47,11 @@ div.tabcontent {
   border-top: 1px solid #ccc;
 }
 
-div.tabcontent >:first-child:not(.pre) {
-  padding-top: 2px;
+div.tabcontent >:first-child:not(pre) {
+  padding-top: 10px;
 }
 
-div.tabcontent >:not(.pre) {
+div.tabcontent >:not(pre) {
   padding-left: 10px;
 }