margin-left: 0.5em;
margin-right: 0.5em;
}
-#lowdepthcontainer {
- font-size: x-small;
- margin-top: 0;
-}
#pvcontainer {
clear: left;
margin-top: 1em;
border-right: none;
}
-.pv, #pv, #history, #lowdepth .depth { /* Mute move colors a bit. */
+.pv, #pv, #history { /* Mute move colors a bit. */
color: #555;
}