Dev edition: add borders to DOM tree styles

Fixes whatwg#2821.
Tanuj1789 · Jul 13, 2017 · 047eb9c · 047eb9c
1 parent cfb8b9e
commit 047eb9c
Showing 1 changed file with 38 additions and 0 deletions.
diff --git a/dev/styles.css b/dev/styles.css
@@ -570,3 +570,41 @@ html:not(.index) ol.toc ol {
     box-shadow: none;
   }
 }
+/* DOM tree borders */
+ul.domTree, ul.domTree ul {
+  padding: 0 0 0 1em;
+  margin: 0;
+}
+
+ul.domTree li {
+  padding: 0; 
+  margin: 0;
+  list-style: none;
+  position: relative;
+}
+
+ul.domTree li li {
+  list-style: none;
+}
+
+ul.domTree li:first-child::before {
+  position: absolute;
+  top: 0;
+  height: 0.6em;
+  left: -0.75em;
+  width: 0.5em;
+  border-style: none none solid solid;
+  content: '';
+  border-width: 0.1em;
+}
+
+ul.domTree li:not(:last-child)::after {
+  position: absolute;
+  top: 0;
+  bottom: -0.6em;
+  left: -0.75em;
+  width: 0.5em;
+  border-style: none none solid solid;
+  content: '';
+  border-width: 0.1em;
+}