+
+body {
+ margin-left: 4em;
+}
+
+body p, body ul, ol, body dl {
+ margin-left: 2em;
+ width: 31em;
+}
+
+pre {
+ width: 31em;
+}
+
+li {
+ padding-bottom: 0.5em;
+}
+
+/* Code sections. */
+
+pre {
+ background-color: #f8f8f8;
+ color: rgb(204,0,0);
+ font-weight: 550;
+ border-left: 6px solid rgb(204,64,64);
+ padding: 6px;
+ margin-left: 1em;
+ font-size: 120%;
+}
+
+/* Bold, italic in man pages. */
+b, strong {
+ color: rgb(204,0,0);
+}
+
+i, em {
+ color: rgb(204,0,0);
+}
+
+/* Name heading. */
+
+body > h1:first-of-type {
+ display: none;
+}
+
+body > h1:first-of-type + p {
+ font-size: 125%;
+ font-weight: bold;
+ color: rgb(204,0,0);
+ margin-left: -32px;
+}
+
+/* Warning heading in man pages. */
+a[name="warning"] {
+ -moz-border-radius-topleft: 5px;
+ -moz-border-radius-topright: 5px;
+ border-radius-topleft: 5px;
+ border-radius-topright: 5px;
+
+ color: white;
+ background-color: rgb(204,0,0);
+}
+a[name="warning"]:before {
+ content: "\00a0\00a0\00a0";
+}
+a[name="warning"]:after {
+ content: "\00a0\00a0\00a0";
+}