fix for external terminal style #1009

jcubic · Feb 22, 2025 · d070568 · d070568
1 parent abc3abb
commit d070568
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/css/jquery.terminal-src.css b/css/jquery.terminal-src.css
@@ -100,7 +100,7 @@ body.terminal, body.full-screen-terminal {
     margin: 0;
     height: 100%;
 }
-body.full-screen-terminal .terminal {
+body.full-screen-terminal .terminal:not(.terminal-external) {
     height: 100% !important;
 }
 body.full-screen-terminal {

diff --git a/css/jquery.terminal.css b/css/jquery.terminal.css
@@ -12,7 +12,7 @@
  * Copyright (c) 2010-2025 Jakub T. Jankiewicz <https://jcubic.pl/me>
  * Released under the MIT license
  *
- * Date: Sun, 26 Jan 2025 13:40:03 +0000
+ * Date: Sat, 22 Feb 2025 14:32:54 +0000
  */
 .terminal .terminal-output .format, .cmd .format,
 .cmd-prompt, .cmd-prompt div {
@@ -100,7 +100,7 @@ body.terminal, body.full-screen-terminal {
     margin: 0;
     height: 100%;
 }
-body.full-screen-terminal .terminal {
+body.full-screen-terminal .terminal:not(.terminal-external) {
     height: 100% !important;
 }
 body.full-screen-terminal {

diff --git a/css/jquery.terminal.min.css b/css/jquery.terminal.min.css
diff --git a/css/jquery.terminal.min.css.map b/css/jquery.terminal.min.css.map