Update

style_fancy.css

@@ -0,0 +1,84 @@
+/* Fancy CSS that can optionally be used for the wiki. */
+
+body
+{
+  padding: 10px 10px 0;
+  font-family: "Verdana", Sans-serif;
+  color: #222222;
+  margin: auto;
+  max-width: 960px;
+  background-color: #ffe;
+  text-align: justify;
+}
+
+p
+{
+  margin: 15px 0;
+}
+
+em, i
+{
+  color: #777;
+}
+
+hr
+{
+  margin: 20px 0 20px;
+}
+
+h1, h2, h3
+{
+  margin: 30px 0 10px;
+}
+
+ul, ol
+{
+  padding: 0;
+  margin: 4px 30px;
+}
+
+ul
+{
+  list-style: square;
+}
+
+li
+{
+  margin: 3px 0;
+}
+
+pre, code
+{
+  font-family: "Lucida Console", monospace;
+  background-color: #fec;
+  font-size: 12px;
+}
+
+pre
+{
+  padding: 3px;
+  border: 2px dotted #888;
+}
+
+table
+{
+  border-collapse: collapse;
+}
+
+table td, th
+{
+  border: 1px solid black;
+  padding: 5px 7px;
+}
+
+a
+{
+  color: #1010ff;
+  border-bottom: 1px dotted;
+  text-decoration: none;
+}
+
+.dead
+{
+  color: #ff2222;
+}