Add HTML documentation to the public website.

1 files changed, 155 insertions, 0 deletions

diff --git a/html/pod.css b/html/pod.css
new file mode 100644
index 0000000..d90ebb5
--- /dev/null
+++ b/html/pod.css
@@ -0,0 +1,155 @@
+/* CSS to make pod2html files look a little bit better. */
+
+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";
+}
+
+/* Put the index on the right hand side in a floating box. */
+div[name="index"] {
+    float: right;
+    width: 18em;
+    border-left: 3em solid white;
+    background-color: #fcfcfc;
+    margin-top: 32px;
+    padding-top: 0px;
+    margin-left: 1em;
+    padding-left: 1em;
+    padding-right: 1em;
+    font-size: 90%;
+}
+
+div[name="index"] a[href] {
+    text-decoration: none;
+}
+
+div[name="index"] a[href]:hover {
+    text-decoration: underline;
+}
+
+div[name="index"] a[href]:before {
+    content: '#\00a0';
+    color: rgb(204,0,0);
+    font-size: x-small;
+}
+
+div[name="index"] > ul {
+    width: 17em;
+    list-style: none;
+    margin-left: 0px;
+    margin-right: 0px;
+    padding-left: 0px;
+    padding-right: 0px;
+}
+
+div[name="index"] > ul > li {
+    margin-bottom: 0.5em;
+}
+
+div[name="index"] > ul ul {
+    width: 16em;
+    list-style: none;
+    margin-left: 0px;
+    margin-right: 0px;
+    padding-left: 0px;
+    padding-right: 0px;
+    margin-bottom: 0.5em;
+}
+
+div[name="index"] > ul > ul li {
+    display: inline;
+    margin-right: 1em;
+}
+
+/*
+div[name="index"] > ul > ul li:after {
+    color: #ccc;
+    content: '\2014';
+}
+*/
+
+/* Get rid of those horrible <hr>'s :-( */
+hr { display: none; }
+
+/* Demote <h1>'s and set rest of headers relative. */
+h1 {
+    font-size: 100%;
+    color: black;
+    border-bottom: solid 1px rgb(204,0,0);
+}
+
+h2 {
+    font-size: 95%;
+    border-bottom: none;
+}
+
+h3 {
+    font-size: 90%;
+}
+
+h4 {
+    font-size: 85%;
+}