summaryrefslogtreecommitdiff
path: root/lib/debug/resources/debug.css
diff options
context:
space:
mode:
Diffstat (limited to 'lib/debug/resources/debug.css')
-rw-r--r--lib/debug/resources/debug.css109
1 files changed, 109 insertions, 0 deletions
diff --git a/lib/debug/resources/debug.css b/lib/debug/resources/debug.css
new file mode 100644
index 0000000..012363c
--- /dev/null
+++ b/lib/debug/resources/debug.css
@@ -0,0 +1,109 @@
+html {
+ font-size: 100%;
+}
+
+body {
+ margin: 0 auto;
+ padding: 50px;
+ font-family: "Georgia", serif;
+ font-size: 14px;
+ line-height: 1.5;
+ color: #333;
+ background-color: #f8f8f8;
+}
+
+#wrap {
+ max-width: 800px;
+ background-color: #fff;
+ padding: 80px;
+ margin: 0 auto;
+ border: 1px solid #ccc;
+}
+
+h1 {
+ margin: 0 0 40px;
+ padding: 0;
+ font-weight: normal;
+ line-height: 1.2;
+ padding: 16px 0;
+ font-size: 24px;
+ border-top: 1px solid #ccc;
+ border-bottom: 1px solid #ccc;
+}
+
+h1 a {
+ float: right;
+ text-decoration: none;
+ padding-right: 20px;
+}
+
+ul, ol {
+ margin: 36px 0px;
+ padding: 0 0 0 16px;
+}
+
+ul ul, ol ol, ul ol, ol ul {
+ margin: 0 8px;
+}
+
+li {
+ margin: 0;
+ padding: 0;
+}
+
+pre {
+ font-size: 13px;
+ font-family: monospace;
+ color: #222;
+ background-color: #f8f8f8;
+ margin: 32px 0;
+ padding: 18px 24px;
+ border-top: 1px solid #ccc;
+ border-bottom: 1px solid #ccc;
+ overflow: auto;
+}
+
+.button {
+ background-color: #eee;
+ cursor: pointer;
+ padding: 20px;
+ width: 100%;
+ border: none;
+ text-align: left;
+ outline: none;
+ font-size: 16px;
+ font-family: "Georgia", serif;
+ margin-top: 5px;
+}
+
+.active, .button:hover {
+ background-color: #ccc;
+}
+
+.menu {
+ padding: 0 20px;
+}
+
+.panel {
+ padding: 0 20px;
+ background-color: white;
+ max-height: 0;
+ overflow: hidden;
+ transition: max-height 0.2s ease-out;
+}
+
+.panel.last pre {
+ margin-bottom: 0;
+}
+
+.button:after {
+ content: '\02795'; /* Unicode character for "plus" sign (+) */
+ font-size: 10px;
+ color: red;
+ float: right;
+ margin-left: 5px;
+}
+
+.active:after {
+ content: "\2796"; /* Unicode character for "minus" sign (-) */
+}