Try to standardize font size

2021-10-22 22:40:58 +02:00
parent 74e645dd96
commit abb78d6248
4 changed files with 4 additions and 4 deletions
--- a/_machines/mars.yml
+++ b/_machines/mars.yml
@@ -1,4 +1,4 @@
-font_size: 11
+font_size: 12
 letter_space: 0

 users:
--- a/_machines/neptune.yml
+++ b/_machines/neptune.yml
@@ -1,4 +1,4 @@
-font_size: 11
+font_size: 12
 letter_space: 0

 users:
--- a/alacritty/alacritty.yml.j2
+++ b/alacritty/alacritty.yml.j2
@@ -150,7 +150,7 @@ font:
    style: Bold Italic

  # Point size
-  size: {{ machine.font_size }}
+  size: {{ machine.font_size|int - 3 }}

  # Offset is the extra space around each character. `offset.y` can be thought
  # of as modifying the line spacing, and `offset.x` as modifying the letter
--- a/gtk/gtkrc-2.0.j2
+++ b/gtk/gtkrc-2.0.j2
@@ -3,7 +3,7 @@

 gtk-theme-name="Breeze"
 gtk-icon-theme-name="breeze-dark"
-gtk-font-name="DejaVu Sans {{ machine.font_size|int - 2 }}"
+gtk-font-name="DejaVu Sans {{ machine.font_size| int - 2 }}"
 gtk-cursor-theme-name="breeze_cursors"
 gtk-cursor-theme-size=0
 gtk-toolbar-style=GTK_TOOLBAR_BOTH