Improve javaguide.css compliance with style guide

See #796

javaguide.css

@@ -2,13 +2,16 @@ table {
   border-collapse: collapse;
 }
 
-td, th {
+td,
+th {
   border: 1px solid #ccc;
   padding: 2px 12px;
   font-size: 10pt;
 }
 
-code, samp, var {
+code,
+samp,
+var {
   color: #060;
 }
 
@@ -17,16 +20,9 @@ pre {
   display: block;
   color: #060;
   background-color: #e8fff6;
-  border-color: #f0fff0;
-  border-style: solid;
-  border-top-width: 1px;
-  border-bottom-width: 1px;
-  border-right-width: 1px;
+  border: 1px solid #f0fff0;
   border-left-width: 5px;
-  padding-left: 12px;
-  padding-right: 12px;
-  padding-top: 4px;
-  padding-bottom: 4px;
+  padding: 4px 12px;
 }
 
 pre.badcode {
@@ -42,9 +38,7 @@ hr {
 }
 
 html {
-  margin-top:2em;
-  margin-left:10%;
-  margin-right:10%;
+  margin: 2em 10% 0;
   padding: 0;
 }
 
@@ -129,7 +123,7 @@ body {
 }
 
 em {
-  font-style: italic
+  font-style: italic;
 }
 
 h1,
@@ -142,8 +136,8 @@ h6 {
 }
 
 h1 {
-  margin-bottom:.50em;
-  text-align: center
+  margin-bottom: 0.5em;
+  text-align: center;
 }
 
 h2,
@@ -152,14 +146,28 @@ h4,
 h5,
 h6 {
   margin-top: 1.5em;
-  margin-bottom:.75em;
+  margin-bottom: 0.75em;
 }
 
-h1 {font-size:200%;}
-h2 {font-size:167%;}
-h3 {font-size:133%;}
-h4 {font-size:120%;}
-h5 {font-size:110%;}
+h1 {
+  font-size: 200%;
+}
+
+h2 {
+  font-size: 167%;
+}
+
+h3 {
+  font-size: 133%;
+}
+
+h4 {
+  font-size: 120%;
+}
+
+h5 {
+  font-size: 110%;
+}
 
 p {
   margin: 0 0 1.5em;
@@ -196,7 +204,7 @@ tt {
 }
 
 dl {
-  margin:0 0 1.5em 0;
+  margin: 0 0 1.5em;
 }
 
 dl dt {
@@ -406,7 +414,7 @@ ul.nolist {
 code,
 kbd,
 pre {
-  color:#009900;
+  color: #090;
 }
 
 kbd {
@@ -419,7 +427,7 @@ table.striped code {
 
 pre {
   padding: 6px 10px;
-  background-color:#FAFAFA;
+  background-color: #fafafa;
   border: 1px solid #bbb;
   overflow: auto;
 }
@@ -429,10 +437,13 @@ pre.prettyprint {
   border: 1px solid #bbb !important;
 }
 
-code.bad, code.badcode {
+code.bad,
+code.badcode {
   color: magenta;
 }
-pre.bad, pre.badcode {
+
+pre.bad,
+pre.badcode {
   background-color: #ffe6d8;
   border-top: 1px inset #a03;
   border-left: 1px inset #a03;
@@ -451,7 +462,6 @@ pre.bad, pre.badcode {
 }
 
 @media print {
-
   .str {
     color: #060;
   }
@@ -509,12 +519,11 @@ ol.linenums {
 }
 
 code {
-  background-color:#FAFAFA;
+  background-color: #fafafa;
   padding: 0.25em 0.5em;
-  white-space: nowrap
+  white-space: nowrap;
 }
 
-
 /* TOC CSS */
 
 table.columns {
@@ -552,7 +561,7 @@ li.toc_entry {
  * at href boundaries
  */
 li.toc_entry::after {
-    content: " ";
+  content: ' ';
 }
 
 li.toc_entry a {
@@ -560,7 +569,8 @@ li.toc_entry a {
 }
 
 /* Horizontal TOC */
-.toc td, .toc th {
+.toc td,
+.toc th {
   border-width: 1px 5px;
   overflow: hidden;
 }
@@ -568,7 +578,7 @@ li.toc_entry a {
 /* Vertical TOC */
 
 .toc td.two_columns {
-  border-width: 0px;
+  border-width: 0;
 }
 
 /* Numbered sections */