diff --git a/app/assets/stylesheets/_terminal-font.sass b/app/assets/stylesheets/_terminal-font.sass index 179ae49..20a86d9 100644 --- a/app/assets/stylesheets/_terminal-font.sass +++ b/app/assets/stylesheets/_terminal-font.sass @@ -10,6 +10,14 @@ display: inline-block height: 16px +=terminal-font-medium + font-size: 18px + line-height: 24px + + .line + span + height: 24px + =terminal-font-big font-size: 24px line-height: 32px diff --git a/app/assets/stylesheets/player/player.css.sass b/app/assets/stylesheets/player/player.css.sass index 387eb65..041f850 100644 --- a/app/assets/stylesheets/player/player.css.sass +++ b/app/assets/stylesheets/player/player.css.sass @@ -27,6 +27,16 @@ $color5: #edc951 .font-sample, .hud +terminal-font + &.medium-font + .font-sample, .hud + +terminal-font-medium + + .hud + height: 24px + bottom: 4px + left: 4px + right: 4px + &.big-font .font-sample, .hud +terminal-font-big diff --git a/app/assets/stylesheets/terminal.css.sass b/app/assets/stylesheets/terminal.css.sass index 56d60b0..9f0dd23 100644 --- a/app/assets/stylesheets/terminal.css.sass +++ b/app/assets/stylesheets/terminal.css.sass @@ -30,6 +30,12 @@ pre.terminal .fg8, .fg9, .fg10, .fg11, .fg12, .fg13, .fg14, .fg15 font-weight: bold +.medium-font + pre.terminal + +terminal-font-medium + + padding: 4px + .big-font pre.terminal +terminal-font-big