• Fonts
• Themes

1. Update Brave's sync codes.

Seems that for an HP EliteBook, a custom boot is required:

1. Determine your where your boot loader is. It is probably \EFI\ubuntu\grubx64.efi, but you can check:
   1. Reboot into BIOS.
   2. Select 'F9 Boot Device Options' → 'Boot from EFI File' → 'Select File System'.
   3. There will be something like “,Acpi(PNP0A03,0/PCi(1F|2)/Sata(Port 0)…..”.
   4. Select 'EFI' → 'ubuntu'.
   5. The boot loaders will be display as '.efi. files. You want the 'grub' one.
   6. Write down the whole path. Should be something like \EFI\ubuntu\grubx64.efi.
2. Create the custom boot.
   1. Select 'BIOS Setup (F10)' → 'Advanced Settings' → 'Boot Options'.
   2. Select 'Custom boot', tick 'Add boot', fill in \EFI\ubuntu\grubx64.efi.
3. Set boot order:
   1. USB Hard Drive
   2. Custom Boot

• Install fonts.
  • Download the following fonts:
    • Inter
    • Fira Code
  • Extract and copy the *.ttf files to /home/stephen/.local/share/fonts (may need to create the directory).
• Set system fonts.
  • System Settings > Font Selection.
    • Default font: Inter Regular 10
    • Desktop font: Inter Regular 10
    • Window title font: Inter Medium 10
• Themes.
  • Install ocs-url.
    • Download the Debian install. Look here and download something like ocs-url_3.1.0-0ubuntu1_amd64.deb.
    • Run sudo apt install libqt5svg5 qml-module-qtquick-controls
    • Run sudo dpkg -i ~/Downloads/ocs-url_3.1.0-0ubuntu1_amd64.deb
  • Install themes from here. Try Skeuos (blue).
  • System Settings > Themes.
    • Try 'Mint-Y-Dark-Aqua'

1. Settings > Content > Customise fonts
   • Standard font: Times New Roman
   • Serif font: Times New Roman
   • Sans-serif font: Arial
   • Fixed-width font: Consolas (maybe FiraCode Nerd Font?)

• Brave
• VLC

• Beyond All Reason
• 0 A.D
• The Battle for Wesnoth