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;
}