diff options
Diffstat (limited to 'frontend/poe.scss')
-rw-r--r-- | frontend/poe.scss | 118 |
1 files changed, 118 insertions, 0 deletions
diff --git a/frontend/poe.scss b/frontend/poe.scss new file mode 100644 index 0000000..4ec0f80 --- /dev/null +++ b/frontend/poe.scss @@ -0,0 +1,118 @@ +body { + font-size: 14px; + font-family: sans-serif; + line-height: 1.4; + color: #333333; + margin: 0; +} + +.navbar { + margin-bottom: 20px; + border: 1px solid #e7e7e7; + border-width: 0 0 1px; + background-color: #f8f8f8; + padding: 0 30px; + display: flex; + align-items: center; +} + +.navbar .brand { + flex-grow: 1; + padding: 15px 0; + font-size: 18px; +} + +.navbar ul { + list-style: none; + margin: 0; + display: flex; + align-items: center; +} + +.navbar ul li { + display: block; +} + +.navbar a { + color: #777777; + text-decoration: none; +} + +.container { + padding: 0 15px; +} + +/* begin .panel */ +.panel { + margin: 20px 0; + border: 1px solid #dddddd; + box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05); +} + +.panel .panel-heading { + padding: 10px 15px; + border-bottom: 1px solid; + border-color: inherit; +} + +.panel .panel-body { + padding: 15px; +} + +.panel-success, .panel-success .panel-heading { border-color: #d6e9c6; } +.panel-success .panel-heading { color: #3c763d; background-color: #dff0d8; } +.panel-failure, .panel-failure .panel-heading { border-color: #ebccd1; } +.panel-failure .panel-heading { color: #a94442; background-color: #f2dede; } +.panel-running, .panel-running .panel-heading { border-color: #dddddd; } +.panel-running .panel-heading { color: #333333; background-color: #f5f5f5; } +/* end panel */ + +pre { + display: block; + padding: 10px; + margin: 0; + font-size: 13px; + line-height: 1.4; + border: 1px solid #cccccc; + background-color: #f5f5f5; + overflow-x: auto; +} + +pre code { + font-family: monospace; +} + +.result-items-container .result-item:not(:last-child) { + border-bottom: none; + margin-bottom: 0; +} + +.result-item { + margin-top: 0; +} + +.result-item.result-item-collapsed .panel-heading:before { + display: inline-block; + width: 1em; + content: "▸"; +} + +.result-item:not(.result-item-collapsed) .panel-heading:before { + display: inline-block; + width: 1em; + content: "▾"; +} + +.result-item-collapsed .panel-body { + display: none; +} + +.result-exit { color: orange; } +.result-info { color: white; background-color: black; } + +.result-fd-1 { } +.result-fd-2 { color: red; } + +editor .CodeMirror-gutters { + height: 100% !important; +} |