+/* 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;
+}
+
+.notebox {
+ float: right;
+ margin-left: 2ex;
+ margin-top: 1ex;
+ margin-bottom: 1ex;
+ padding: 1ex 1ex;
border: 1px solid #aaa;
+ width: 25%
}
/* outlines */