/* This is a custom CSS file that can be loaded thanks to settings.json */