1 files changed, 2 insertions, 9 deletions
diff --git a/doc/style.css b/doc/style.css
index 680fe77..dde5f70 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -235,7 +235,6 @@ div.groupHeader {
 
 h2.groupheader {
   line-height: 1.18em;
-  font-size: 1em;
   font-weight: 600;
   font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
   margin: 1.25em 0 0.5em 0;
@@ -452,12 +451,11 @@ td.mlabels-right {
 }
 
 .memtitle {
-  border-bottom: 1px solid #EEE;
   font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
   font-size: 1.18em;
   font-weight: 600;
   line-height: 1.41em;
-  margin: 1.5em 0 0 0;
+  margin: 1.5em 0 0.5em 0;
 }
 
 .permalink {
@@ -486,15 +484,11 @@ td.mlabels-right {
 }
 
 .memproto {
-  border-bottom: 1px solid #EEE;
-  border-left: 1px solid #EEE;
   color: #444;
-  float: right;
+  background: #FAFAFA;
   font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
   font-size: small;
   margin-bottom: 1em;
-  margin-left: 1em;
-  padding: 0.25em 0 0.25em 0.25em;
 }
 
 .memproto .paramname {
@@ -527,7 +521,6 @@ td.mlabels-right {
   padding-top: 0.25em;
   font-weight: normal;
   color: #444;
-  font-size: 0.9em;
 }
 
 .paramkey {