1 files changed, 4 insertions, 1 deletions
diff --git a/misc/admin.css b/misc/admin.css
index 14f9b3466..199b85ead 100644
--- a/misc/admin.css
+++ b/misc/admin.css
@@ -22,7 +22,7 @@ h2 {
   font-weight: bold;
   color: #006;
   margin: 0;
-  padding: 0 0 0.5em 0;
+  padding: 0.5em 0 0 0;
 }
 h3 {
   font-size: 1.2em;
@@ -56,6 +56,9 @@ dt {
 dd {
   margin-bottom: 0.5em;
 }
+code, pre {
+  font-size: 12px;
+}
 #menu {
   position: absolute;
   left: 0px;