body {
font-size: 12pt;
background-color: white;
- margin: 0px;
+ margin: 10px;
}
span.directory {
text-decoration: none;
}
-span.description {
+div.description {
background-color: #ffffdd;
}
+
+
+div.elements {
+ padding-left: 1em;
+}
+
+dd.elements {
+}
+
+dt.elements {
+}