diff --git a/Doc/Manual/style.css b/Doc/Manual/style.css
index 7eabf91ae..02329e56f 100644
--- a/Doc/Manual/style.css
+++ b/Doc/Manual/style.css
@@ -25,7 +25,7 @@ div.indent {
   margin-right: 4em;
 }
 
-div.code, div:not(.code) pre {
+div.code {
   border-style: solid; 
   border-width: 1px; 
   padding: 2pt; 
@@ -82,7 +82,3 @@ div.indent p {
   margin-right: 0;
 }
 
-h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
-  text-decoration:none;
-  color: #000000;
-}