+.contents {
+ background-color: #DDF;
+ border: 4px double #000;
+ padding: 0.5em 1em 0.5em 1em;
+}
+
+.contents h2 {
+ margin-left: 0;
+ color: black;
+ background-color: #DDF;
+}
+
+.contents li {
+ list-style-type: none;
+}
+
+.shortcontents {
+ background-color: #DDF;
+ border: 4px double #000;
+ }
+
+.shortcontents h2{
+ display: none;
+}
+
+h1.node-heading {
+ display: none;
+}
+
+h2.contents-heading{
+ display: none;
+}
+
+h2.shortcontents-heading{
+ display: none;
+}
+
+.shortcontents a {
+ margin-right: 1em;
+}
+
+h3, h4, h5 {