My-distro-configs-debian/bootloaders/boot/grub/live-theme/theme.txt

43 lines
850 B
Plaintext
Raw Normal View History

2023-11-18 13:16:58 -01:00
# Main options
title-text: ""
desktop-image: "background.png"
desktop-color: "#000000"
terminal-font: "Terminus Regular 14"
terminal-box: "terminal_box_*.png"
terminal-left: "0"
terminal-top: "0"
terminal-width: "100%"
terminal-height: "100%"
terminal-border: "0"
2022-10-11 18:21:01 +00:00
2023-11-18 13:16:58 -01:00
# Boot menu
+ boot_menu {
2023-11-18 13:16:58 -01:00
left = 15%
top = 40%
width = 60%
height = 65%
item_font = "Ubuntu Regular 20"
item_color = "#cccccc"
selected_item_color = "#ffffff"
icon_width = 36
icon_height = 36
item_icon_space = 20
item_height = 40
item_padding = 2
item_spacing = 10
selected_item_pixmap_style = "select_*.png"
}
2022-11-25 09:42:09 -01:00
2023-11-18 13:16:58 -01:00
# Countdown label
# You can change the name of default starting OS here
+ label {
left = 15%
top = 31%
align = "center"
id = "__timeout__"
text = "My-distro will start in %d seconds"
color = "#cccccc"
font = "Ubuntu Regular 17"
2022-10-11 18:21:01 +00:00
}