From 63f31da43e86a85d4c781a21b42a05fffcc78226 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= Date: Thu, 23 Jun 2022 21:06:43 +0200 Subject: [PATCH] Grub: use default font --- share/grub/themes/kali/theme.txt | 3 --- 1 file changed, 3 deletions(-) diff --git a/share/grub/themes/kali/theme.txt b/share/grub/themes/kali/theme.txt index 3acefeb1..11e7b949 100644 --- a/share/grub/themes/kali/theme.txt +++ b/share/grub/themes/kali/theme.txt @@ -3,7 +3,6 @@ title-text: "" desktop-image: "grub-16x9.png" desktop-color: "#2f5595" -terminal-font: "Unifont Regular 16" terminal-left: "0" terminal-top: "0" terminal-width: "100%" @@ -16,7 +15,6 @@ terminal-border: "0" top = 25% width = 50% height = 60% - item_font = "Unifont Regular 16" item_color = "#f3f3f3" selected_item_color = "#ffffff" icon_width = 0 @@ -37,5 +35,4 @@ terminal-border: "0" id = "__timeout__" text = "Booting in %d seconds" color = "#cccccc" - font = "Unifont Regular 16" }