diff --git a/doc/global/template/style/htmltabs.css b/doc/global/template/style/htmltabs.css
index 8dd310fffd3..87046f2c767 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) {
+div.tabcontent >:first-child:not(pre, .pre) {
   padding-top: 10px;
 }
 
-div.tabcontent >:not(pre) {
+div.tabcontent >:not(pre, .pre) {
   padding-left: 10px;
 }