1 files changed, 10 insertions, 0 deletions
diff --git a/skins/standard/global.css b/skins/standard/global.css
index a2a25c717..b00ec851b 100644
--- a/skins/standard/global.css
+++ b/skins/standard/global.css
@@ -270,3 +270,13 @@ table#flags td {
     margin: 1em;
     padding: 0.5em 1em;
 }
+
+dt {
+    font-weight: bolder;
+}
+body > dl > dt {
+    border-top: dotted gray thin;
+}
+dl dl > dt {
+    border-top: none;
+}