1
This commit is contained in:
2023-05-14 18:35:25 +02:00
parent cef76df6d1
commit 685a56c648
4 changed files with 8 additions and 2 deletions

View File

@ -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)

View File

@ -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}}

View File

@ -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";

View File

@ -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;