/* See LICENSE file for copyright and license details. */

static void theme_load(void);