background-color: #fff;
}
-ul#list, ul#list ul {
- list-style-type: none;
- padding-top: 0px;
- margin-top: 0px;
- padding-left: 1em;
+div.list {
+ padding: 1em;
+}
+div.list_element {
+ padding-bottom: 0.3em;
+}
+div.list_element ul {
+ margin: 0px;
+}
+
+div#infotree ul {
+ padding: 0.4em;
+ margin: 0em;
+}
+div#infotree li {
+ font-weight: bold;
+ font-size: 0.8em;
+}
+div#infotree dl {
+ font-weight: normal;
+ padding: 0em 1em;
+}
+div#infotree dt {
+ text-decoration: underline;
}
div.pl_node {
padding: 0.3em 0.3em;
background-color: #dfd;
}
+div.controls button.on {
+ background-color: #aaa;
+}
+
+div.controls button.off {
+ background-color: #fff;
+}
+
+div.menu {
+ position: absolute;
+ border: 1px solid #ccc;
+ padding: 5px;
+ background: url('images/white.png') repeat;
+ display: none;
+}
+
+div.menu button {
+ background: transparent;
+ border: 1px solid transparent;
+}