/* THEME CUSTOMIZATIONS */

/*
Use this file to customize any themes "extended" from the default one.
This default implementation is, obviously, empty.
*/