sync_up: Formatting fixes
[libreriscv.git] / local.css
index 50eea26091d507a6e5608167f9a18f72bf0214cb..454e0f7e0984a592956605a557a4033195fb21aa 100644 (file)
--- a/local.css
+++ b/local.css
@@ -21,7 +21,7 @@ table th {
        border-color: #4A90E2;
 }
 
-/* Counter Headings Local
+/* Counter Headings Local */
 body {
 counter-reset : h1;
     }
@@ -80,7 +80,6 @@ h1.nocount:before, h2.nocount:before, h3.nocount:before, h4.nocount:before, h5.n
 content : "";
 counter-increment : none;
     }
-*/
 
 table {
     margin-left: 35px;