--- /dev/null
+a
+{
+ color: inherit;
+ background-color: inherit;
+ text-decoration: underline;
+}
+
+div.topmenu, div.menu
+{
+ display: none;
+}
+
+div.foot
+{
+ font-size: 50%;
+ text-align: right;
+}
+
+h1
+{
+ display: none;
+}
+
+h2
+{
+ font-size: 100%;
+}
+
+table
+{
+ border-collapse: collapse;
+}
+
+table.list
+{
+ width: 100%;
+}
+
+table.list td
+{
+ empty-cells: show;
+}
+
+table.list th
+{
+ border-bottom-width: 2px;
+}
+
+td, th
+{
+ border: 1px solid black;
+ vertical-align: top;
+}
+
+th
+{
+ font-weight: bold;
+ text-align: center;
+}
--- /dev/null
+a
+{
+ color: blue;
+ background-color: inherit;
+ text-decoration: none;
+}
+
+a:hover
+{
+ text-decoration: underline;
+}
+
+a:visited
+{
+ color: navy;
+ background-color: inherit;
+}
+
+body
+{
+ color: black;
+ background-color: white;
+}
+
+div.error
+{
+ color: red;
+ background-color: yellow;
+
+ font-weight: bold;
+ padding: 1ex;
+ border: 2px solid red;
+}
+
+div.foot
+{
+ color: gray;
+ background-color: white;
+
+ position: fixed;
+ top: auto;
+ right: 0px;
+ bottom: 0px;
+ left: 0px;
+
+ font-size: x-small;
+ text-align: right;
+ border-top: 1px solid black;
+ width: 100%;
+}
+
+div.foot a
+{
+ color: black;
+ background-color: inherit;
+ text-decoration: none;
+}
+
+div.foot a:hover
+{
+ text-decoration: underline;
+}
+
+div.menu
+{
+ border-top: 1px solid black;
+ margin-top: 1ex;
+ font-weight: bold;
+}
+
+div.menu a
+{
+ color: blue;
+ background-color: transparent;
+}
+
+div.topmenu
+{
+ margin-bottom: 1ex;
+ padding-bottom: 1ex;
+ border-bottom: 1px solid black;
+}
+
+div.topmenu form
+{
+ display: inline;
+ margin-right: 5ex;
+}
+
+h1
+{
+ position: absolute;
+ top: 1ex;
+ right: 1ex;
+ bottom: auto;
+ left: auto;
+
+ font-size: 100%;
+ font-weight: bold;
+}
+
+img
+{
+ border: none;
+}
+
+table.list
+{
+ width: 100%;
+ border: 2px solid #d0d0d0;
+}
+
+table.list td
+{
+ empty-cells: show;
+}
+
+td
+{
+ color: black;
+ background-color: #e8e8e8;
+ vertical-align: top;
+}
+
+th
+{
+ color: black;
+ background-color: #d0d0d0;
+ padding: 0.3ex;
+ text-align: left;
+ vertical-align: top;
+}
+
+ul.groups li
+{
+ margin-top: 0.5ex;
+}