Remove CSS specific to the custom code box title implementation

see afe461149adeb1bb12ce9ba45edc008dc4aaf373

diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index c8badb5c36186f3ee6e4809fc6e76e1a7f8368e5..34979957ef0f3904d07f5b5d47d13b78aba7a595 100644 (file)
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -104,22 +104,6 @@ code, kbd, pre {
     background-color: rgba(0,184,212,.1);
 }
 
-.titledCodeBox .codeBoxTitle {
-    background-color: rgb(225, 225, 225);
-    font-size: .85em;
-    font-weight: bold;
-    padding: 0.5em 1em;
-    position: relative;
-}
-
-.titledCodeBox .codeBoxTitle code {
-    background: none;
-}
-
-.titledCodeBox .codeBoxTitle + .highlighttable {
-    margin-top: 0;
-}
-
 .codeBoxTitleGitHubLink {
     position: absolute;
     top: 0.5em;