Ziyaun: I think we'd want to do this in the system-wide theme files, rather than individually installing a theme override in each user's home directory. Thank you for figuring out a possible solution.
Ziyaun: I think we'd want to do this in the system-wide theme files, rather than individually installing a theme override in each user's home directory. Thank you for figuring out a possible solution.