---- 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.
