64113d67bc
Something which is regularly asked is to use smaller icons. We used to have a "Small" theme in 2.8, which got away in 2.10 with icon sizing (cf issue #6121). This is a revival of such a theme (except I call it "Compact" because it feels more appropriate than "Small"). The theme is basically the same as "Default" (through an include), just tweaking some size related CSS rules.