// Override for configuration file
// ------------------------------------------------------------------------------

// $default_font_size: 10px;