+}
+
+.pre {
+ display: block;
+}
+
+td {
+ padding-left: 2px;
+ padding-right: 2px;
+ padding-top: 2px;
+ padding-bottom: 2px;
+}
+
+.header_column {
+ height: 23px;
+ background-color: #ddeedd;
+ color: #009900;
+ text-align: center;
+}
+
+div.menu_invisible, div.sub_menu_invisible, td.menu_invisible, td.sub_menu_invisible {
+ background-color: #dddddd;
+ font-style: italic;
+}
+
+strong.menu_invisible, strong.sub_menu_invisible {
+ color: #999999;
+ font-style: italic;
+}
+
+.menu_locked, .sub_menu_locked {
+ color: #ffeeee;
+}