2007-09-17 02:14:09 +08:00
|
|
|
/* See LICENSE file for copyright and license details. */
|
|
|
|
|
|
|
|
/* appearance */
|
2008-06-14 17:55:13 +08:00
|
|
|
static const char *font = "-*-terminus-medium-r-normal-*-14-*-*-*-*-*-*-*";
|
|
|
|
static const char *normbgcolor = "#cccccc";
|
|
|
|
static const char *normfgcolor = "#000000";
|
|
|
|
static const char *selbgcolor = "#0066ff";
|
|
|
|
static const char *selfgcolor = "#ffffff";
|
2008-07-17 01:18:38 +08:00
|
|
|
static unsigned int spaceitem = 30; /* px between menu items */
|