mirror of
https://github.com/vinceliuice/grub2-themes.git
synced 2024-12-25 07:45:34 +01:00
Merge pull request #56 from unicilindro/master
Unify the naming for the DejaVu Sans font
This commit is contained in:
commit
9583ff560e
Binary file not shown.
@ -19,7 +19,7 @@ terminal-border: "0"
|
|||||||
top = 30%
|
top = 30%
|
||||||
width = 45%
|
width = 45%
|
||||||
height = 60%
|
height = 60%
|
||||||
item_font = "DejaVu Regular 32"
|
item_font = "DejaVu Sans Regular 32"
|
||||||
item_color = "#cccccc"
|
item_color = "#cccccc"
|
||||||
selected_item_color = "#ffffff"
|
selected_item_color = "#ffffff"
|
||||||
icon_width = 64
|
icon_width = 64
|
||||||
@ -40,5 +40,5 @@ terminal-border: "0"
|
|||||||
id = "__timeout__"
|
id = "__timeout__"
|
||||||
text = "Booting in %d seconds"
|
text = "Booting in %d seconds"
|
||||||
color = "#cccccc"
|
color = "#cccccc"
|
||||||
font = "DejaVu Regular 32"
|
font = "DejaVu Sans Regular 32"
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user