--- /dev/null
+body {
+ font-size: 12pt;
+ background-color: white;
+ margin: 10px;
+}
+
+span.directory {
+ //text-decoration: underline;
+}
+
+
+span.symlink:after {
+ content: " [symlink]";
+ font-size: 8pt;
+ font-style: normal;
+}
+
+span.symlink {
+ text-decoration: none;
+ font-style: italic;
+}
+
+span.script:after {
+ content: " [script]";
+ font-size: 8pt;
+ font-style: normal;
+}
+
+span.script {
+ color: gray;
+}
+
+span.symbolic:before { content: "<"; }
+span.symbolic:after { content: ">"; }
+
+span.symbolic {
+ font-style: italic;
+ text-decoration: none;
+}
+
+div.description {
+ background-color: #ffffdd;
+}
+
+
+div.elements {
+ padding-left: 1em;
+}
+
+dd.elements {
+}
+
+dt.elements {
+}