html {
    --bg-color: white;                   /* background color */
    --bars-bg-color: #bbb;               /* background color of header and footer */
    --font-color: black;                 /* main font color */
    --header-font-color: black;          /* font color of header and footer TODO: currently not used */
    --zebra-bg-color: #aaa;              /* background color of every other row in tables */
    --content-bg-color: #ddd;            /* background color of header buttons and menu items */
    --content-font-color: black;
    --example-bg-color: #fed;
    --example-keyword-color: blue;
    --link-font-color: blue;
    --active-font-color: #0cc;
    --about-font-color: #888;
    --menu-bg-color: #ddd;
    --control-bg-color: #ccc;
    --message-box-bg-color: lightblue;
    --message-box-font-color: black;
    --currency-color: black;
    --gold: #ffd66b;
    --gold-hot: #ffb300;
    --small-logo: url('/static/darkicon.png');
}