---- Changes since 1.280 ----
First version of this theme.
---- Changes since 1.290 ----
The current category name is now underlined.
Reduced the thickness of border lines.
All icons are now shown half the usual size, with the titles to the right instead of below.
---- Changes since 1.300 ----
Totally re-worked theme to use a new framed design, with a Javascript collapsing category menu.
