CSS: Add DocBook-like tags for instructions.

wiki/src/local.css

@@ -982,3 +982,42 @@ div.icon div.text {
 	padding-top: 1em;
 	margin-left: 1em;
 }
+
+/* Documentation styling */
+
+span.application { font-style: italic; }
+span.button { font-weight: bold; }
+span.code {
+  font-family: "Courier";
+  font-size: 1.143em; /* 14×1.143=16px */
+}
+span.command {
+  font-family: "Courier";
+  font-size: 1.143em; /* 14×1.143=16px */
+  border: 1px solid #E0E0DF;
+  padding-left: 0.2em;
+  padding-right: 0.2em;
+}
+span.guilabel { font-weight: bold; }
+span.guimenu { font-weight: bold; }
+span.guisubmenu { font-weight: bold; }
+span.guimenuitem { font-weight: bold; }
+span.key { font-weight: bold; }
+span.menuchoice { font-weight: bold; }
+span.replaceable { font-style: italic; }
+div.caution, div.note {
+  background-color: #FFFFF0;
+  border: 1px solid #E0E0DF;
+  padding: 0.5em 6px;
+  background-position: 6px 0.5em;
+  background-repeat: no-repeat;
+  min-height: 48px;
+  padding-left: 66px;
+  margin: 0 0 1.5em;
+}
+div.caution {
+  background-image: url(lib/admon-caution.png);
+}
+div.note {
+  background-image: url(lib/admon-note.png);
+}