/* The standard theme sets nothing: the tokens in haathi.css are the standard look. */