taskbar height

[luis j. <lui...@mu...>]

hello list,

i'm trying to create my own theme from scratch, editing the preferences
file. it's fun, although some options are not evident what they mean just
from their names, so i just change the values and see what happens...

my question is: is there a way to change the height of the taskbar? i only
found "TaskBarDoubleHeight=0 # 0/1", but what i want is rather a thinner
taskbar. i found out that using a bigger icon for the start menu, the
taskbar increases in height to accommodate it, but using a smaller icon
instead won't make the taskbar any thinner.

there is a TitleBarHeight option, but i haven't found the equivalent for
the taskbar.

thank you for any help in this matter,

lj