diff options
Diffstat (limited to 'src/css/devtools.css')
-rw-r--r-- | src/css/devtools.css | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/css/devtools.css b/src/css/devtools.css new file mode 100644 index 0000000..425aac4 --- /dev/null +++ b/src/css/devtools.css @@ -0,0 +1,22 @@ +html { + height: 100vh; + overflow: hidden; + width: 100vw; + } +body { + display: flex; + flex-direction: column; + height: 100%; + justify-content: stretch; + overflow: hidden; + width: 100%; + } +.body { + flex-shrink: 0; + } +.codeMirrorContainer { + flex-grow: 1; + } +#console { + text-align: left; + } |