background-color: #DDF;
}
+table.menu, table.menu th, table.menu td {
+ border-style: none;
+}
+
h2 {
padding: 0.25em;
color: white;
display: none;
}
+h1.node-heading {
+ display: none;
+}
+
+h2.shortcontents-heading{
+ display: none;
+}
+
.shortcontents a {
margin-right: 1em;
}