Commits

Anonymous committed 20d6307

Added padding to please Opera in some cases

Comments (0)

Files changed (1)

     border: black thin solid;
     background-color: #CCCCFF;
     font-size: 120%;
-    padding-top: 0.5em;
-    padding-bottom: 0.5em;
+    padding: 0.5em;
     margin-bottom: 0.5em;
 }