diff options
Diffstat (limited to 'lib/debug/resources/debug.css')
| -rw-r--r-- | lib/debug/resources/debug.css | 109 |
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 (-) */ +} |