From 96e19464f98b868bd93b76ac842ec5b32a17cfb6 Mon Sep 17 00:00:00 2001 From: Jules Laplace Date: Sat, 26 May 2018 15:58:21 +0200 Subject: means to run remote commands and get output --- public/assets/css/css.css | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) (limited to 'public/assets/css/css.css') diff --git a/public/assets/css/css.css b/public/assets/css/css.css index 33667dd..f3c1a69 100644 --- a/public/assets/css/css.css +++ b/public/assets/css/css.css @@ -15,6 +15,15 @@ header span { color: #444; padding-left: 8px; } +h1, h2, h3 { + margin: 0; +} +h2 { + font-size: 14px; +} +h3 { + font-size: 10px; +} #container { display: flex; flex-direction: column; @@ -30,10 +39,12 @@ header span { display: flex; flex-direction: column; } + .app { display: flex; flex-direction: column; } + .player { width: 100%; height: 50vmin; @@ -106,6 +117,7 @@ header span { } /* dashboard */ + .dashboard .heading { width: 100%; margin-bottom: 20px; @@ -142,3 +154,18 @@ header span { max-width: 10vw; margin-right: 10px; } + +/* system */ +.screen { + width: 600px; + max-width: 90vw; + height: 400px; + max-height: 90vh; + white-space: pre; + font-family: Menlo, monospace; + font-size: 12px; + line-height: 15px; + overflow: auto; + background: rgba(238,238,238,0.4); + border: 1px solid #ddd; +} \ No newline at end of file -- cgit v1.2.3-70-g09d2