/*
 * This theme is the default theme if no other theme is selected.
 */