/* Change font */
body{
    /*--highlight-font: sans-serif; !*  titles *!*/
    /*--first-font: sans-serif; !* general *!*/
    /*--font-size: 13pt;*/
    /*--secondary-color-associated: #fff;*/
}

/* turn restaurant logos to white - just for laziness, it can be done via cms uploading different images */
#dark_theme .main .logo,
#darken_theme .main .logo{
    filter: brightness(11);
}