From 685a56c64896d0351299033385e80f99b61acb28 Mon Sep 17 00:00:00 2001 From: ChUrl Date: Sun, 14 May 2023 18:35:25 +0200 Subject: [PATCH] Fix font --- config/hyprland/hyprland.conf | 3 +++ config/latex/christex.sty | 3 +++ config/rofi/rofi.rasi | 2 +- config/waybar/style.css | 2 +- 4 files changed, 8 insertions(+), 2 deletions(-) diff --git a/config/hyprland/hyprland.conf b/config/hyprland/hyprland.conf index 9b0064ab..5375b515 100644 --- a/config/hyprland/hyprland.conf +++ b/config/hyprland/hyprland.conf @@ -24,6 +24,9 @@ windowrulev2 = workspace 2, class:^(jetbrains-clion)$ windowrulev2 = workspace 3, class:^(obsidian)$ windowrulev2 = workspace 4, class:^(firefox)$ windowrulev2 = workspace 4, class:^(chromium)$ +# windowrulev2 = workspace 5, class:^(Steam)$ +# windowrulev2 = workspace 5, class:^(steam_app_.+)$ +# windowrulev2 = workspace 5, class:^(gamescope)$ windowrulev2 = workspace 9, class:^(mpv)$ windowrulev2 = workspace 10, class:^(Spotify) windowrulev2 = workspace 10, class:^(discord) diff --git a/config/latex/christex.sty b/config/latex/christex.sty index cc6dbd5c..dc4f6a02 100644 --- a/config/latex/christex.sty +++ b/config/latex/christex.sty @@ -83,6 +83,9 @@ % Mengendefinition mit Trennstrich \newcommand{\set}[2]{\left\lbrace#1\,\middle\vert\,#2\right\rbrace} +% Bedingte Wahrscheinlichkeit mit Trennstrich +% \newcommand{\prob}[2]{\left(#1\ \middle\vert\ #2\right)} + % Tupel / Vektor: (x_1, ..., x_n) \newcommand{\tup}[2]{\pars{#1,\ldots,#2}} diff --git a/config/rofi/rofi.rasi b/config/rofi/rofi.rasi index 417d991d..9f3b95be 100644 --- a/config/rofi/rofi.rasi +++ b/config/rofi/rofi.rasi @@ -2,7 +2,7 @@ configuration{ modi: "run,drun,ssh,filebrowser"; - font: "Jetbrains Mono 14"; + font: "JetBrainsMono Nerd Font Mono 14"; show-icons: true; icon-theme: "Papirus"; terminal: "kitty"; diff --git a/config/waybar/style.css b/config/waybar/style.css index dcf0ec40..70c218b1 100644 --- a/config/waybar/style.css +++ b/config/waybar/style.css @@ -3,7 +3,7 @@ /*Order is Top-Right-Bottom-Left for combined properties*/ window#waybar { - font-family: Jetbrains Mono; + font-family: JetBrainsMono Nerd Font Mono; font-weight: bold; color: @dark; background-color: @accent-dark;