hide developer nodes by default

1 files changed, 20 insertions, 0 deletions

diff --git a/public/static/default.css b/public/static/default.css
index 7bda32c..1b8780a 100644
--- a/public/static/default.css
+++ b/public/static/default.css
@@ -1011,6 +1011,26 @@ span.notes {
 	display: block;
 }
 
+.developers-header {
+	cursor: pointer;
+}
+
+.developers-header-collapsed:before {
+	content: "▹ "
+}
+
+.developers-header-expanded:before {
+	content: "▿ "
+}
+
+.developers-collapsed {
+	display: none;
+}
+
+.developers-expanded {
+	display: block;
+}
+
 div.break {
 	height: 1em;
 }