sass difference

style.diff

diff --git a/html/css/style.css b/html/css/style.css
index 2dbf2a9..02de5f4 100644
--- a/html/css/style.css
+++ b/html/css/style.css
@@ -25,8 +25,8 @@ html, body {
   margin: 0;
   background: #EFEFEF !important;
   font-family: sans-serif !important;
-  /*override font from perl.css
-        stylesheet, until we can get rid of it*/ }
+                                /*override font from perl.css
+stylesheet, until we can get rid of it*/ }
 
 html {
   padding: 0;
@@ -62,7 +62,6 @@ code {
 pre a {
   text-decoration: underline;
   color: black; }
-
 pre a:hover {
   text-decoration: none;
   color: inherit; }
@@ -155,7 +154,6 @@ td {
   color: white;
   text-decoration: underline;
   font-weight: bold; }
-
 #not-found-message a:hover,
 #not-found-message a:active {
   text-decoration: none; }
@@ -176,7 +174,6 @@ td {
 #search label {
   float: left;
   font-size: 1.25em; }
-
 #search div {
   overflow: hidden;
   border-width: 0.1em;
@@ -348,17 +345,24 @@ table#TOC {
       padding: 5px 10px 0;
       margin: 0;
       text-align: center; }
+
   #home_logo {
     display: none; }
+
   body {
     padding: 0; }
+
   .pretty-box {
     padding: 3px; }
+
   .menu-items {
     height: auto;
     padding: 0 10px; }
     .menu-items .menu-item + .menu-item {
       border: none; }
+
   .menu-item.selected {
     box-shadow: none;
     border-radius: 3px; } }
+
+/*# sourceMappingURL=style.css.map */