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 { /* Mute move colors a bit. */
+.pv, #pv, #history, #lowdepth .depth { /* Mute move colors a bit. */
color: #555;
}