From 5989f8501dda05eaeba56431eececcc2e72b3317 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <derf@finalrewind.org>
Date: Thu, 21 Feb 2019 17:22:04 +0100
Subject: hide developer nodes by default

---
 public/static/default.css | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'public/static/default.css')

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;
 }
-- 
cgit v1.2.3