+/* ikiwiki style sheet */
+
+/* Note that instead of modifying this style sheet, you can instead create
+ * a local.css in your wiki, and override or change settings in this one.
+ */
+
.header {
margin: 0;
font-size: 22px;
margin-left: 2ex;
margin-top: 1ex;
margin-bottom: 1ex;
- padding: 2ex 2ex;
+ padding: 1ex 1ex;
border: 1px solid #aaa;
}
margin-left: 2ex;
margin-top: 1ex;
margin-bottom: 1ex;
- padding: 2ex 2ex;
+ padding: 1ex 1ex;
border: 1px solid #aaa;
width: 25%
}