Add the "medium" font size for the embedded player

11 years ago · d324fcd714
parent b61a321299
commit d324fcd714
3 changed files with 24 additions and 0 deletions
--- 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
--- 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
--- 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