@@ -215,6 +215,7 @@ dt {
font-weight: bold;
padding-left: 4px;
vertical-align: top;
+ width: 10em;
}
dd {
margin-left: 10em;
@@ -536,4 +537,4 @@ div.code-coverage-results span.result-good {
/** Elements **/
#url-rewriting-warning {
display:none;
-}
+}