Fixing style.css to avoid unnecessary lines

Author: pavanky

_static/style.css

@@ -1,4 +1,3 @@
-dl {
+dl.function {
     border-top-style: solid;
-    margin-top: 20px;
 }