From 0579838e88d3ce6e0014df1e4e3993e5808f6a93 Mon Sep 17 00:00:00 2001 From: James Patrick Date: Mon, 20 Apr 2020 12:37:04 -0400 Subject: [PATCH] Update the rofi font size --- rofi/config | 2 +- rofi/default.rasi | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/rofi/config b/rofi/config index ca8fcad..4d982fe 100644 --- a/rofi/config +++ b/rofi/config @@ -1,3 +1,3 @@ -rofi.font: FuraCode Nerd Font Mono 11 +rofi.font: FuraCode Nerd Font Mono 13 rofi.theme: default.rasi diff --git a/rofi/default.rasi b/rofi/default.rasi index d92ebd2..593ebcc 100644 --- a/rofi/default.rasi +++ b/rofi/default.rasi @@ -33,6 +33,7 @@ urgent-foreground: @red; } window { + width: 33%; padding: 5; background-color: @background; border: 1;