/*
 * CSS extensions of library that are automatically loaded into the .risc-page.
 *
 * Please note: for most control styles the better alternative is to add additional
 * definitions the default style of CaptainCasa.
 */