- update the GRUB and installer theme
- fixed an issue that caused the indicator of an open application to overlap with its icon