float:left;
width:150px;
}
-#controls li {
- cursor: pointer;
- padding-bottom:15px;
+#controls .control, #controls .label {
font-weight: bold;
- list-style-type: none;
}
-#markup {
- display:none;
+#controls .control {
+ cursor: pointer;
+ }
+#highlight-seed, #stop-automaton {
+ display: none;
}