From 99faca6659b2956555d2c73b37204d9921b95d1c Mon Sep 17 00:00:00 2001
From: Gitai <i@gitai.me>
Date: Tue, 17 Mar 2020 18:38:27 +0800
Subject: [PATCH] Update style.css

Add fullscreen styles
---
 html/style.css | 46 +++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 45 insertions(+), 1 deletion(-)

diff --git a/html/style.css b/html/style.css
index 1bb11cd..6743c01 100644
--- a/html/style.css
+++ b/html/style.css
@@ -248,6 +248,51 @@ input.inline {
   margin-left: 0.5em;
 }
 
+/* Console fullscreen */
+.fullscreen-box {
+  position: relative;
+}
+
+.fullscreen-box.full {
+  position: fixed;
+  height: 100vh;
+  width: 100vw;
+  left: 0;
+  top: 0;
+  z-index: 1001;
+}
+
+.fullscreen-box > .fullscreen-control {
+  position: absolute;
+  border-radius: 2px;
+  top: 16px;
+  right: 16px;
+  width: 1em;
+  height: 1em;
+  text-align: center;
+  background: #00000025;
+  padding: 15px;
+  line-height: 1em;
+  color: #fff;
+  cursor: pointer;
+}
+
+.fullscreen-box > .fullscreen-control::before {
+  content: "F";
+}
+
+.fullscreen-box.full > .fullscreen-control::before {
+  content: "X";
+}
+
+.fullscreen-box > pre.console {
+  height: 500px;
+}
+
+.fullscreen-box.full > pre.console {
+  height: 100vh;
+}
+
 /* Text console */
 pre.console {
   background-color: #663300;
@@ -255,7 +300,6 @@ pre.console {
   border: 0px solid #000000;
   color: #66ff66;
   padding: 5px;
-  overflow: scroll;
   margin: 0px;
 }