My version of Arch-Silence GRUB2 theme.
The font in the boot menu can't be changed because of GRUB.
GRUB does have a conversion tool from ttf to it's own format but this format encodes each pixel with 1 bit which makes it completely useless since there's practically no font that is readable in such a low bit-depth.
If not explicitly stated otherwise all the files in this project are distributed under the GNU General Public License.
Maximilien Gilet