Topic on Extension talk:CategoryTree

Hello,

I've just upgraded from 1.35 to 1.39.5 (Debian 10 to 12), and upgraded Vector skin to 1.0.0 and Category Tree to the relevant version with 1.39.5 (appearing as 4d3a290 in Versions page).

The Category Tree is appearing correctly in the sidebar, but the fonts are way bigger than they were before the upgrade. I have no clue where to manage the css style of the category tree when it's embedded in the sidebar, or whether it's possible in the first place?

Thank you for any advice.

Nicolas

Hey @NicolasEcarnot, hopefully this helps.

There is array variable you can set in LocalSettings.php called $wgCategoryTreeSidebarOptions.

It took me a while to figure out how exactly to format it and what options could be used since I'm still relatively new to MediaWiki administration, but this is what I used on my private MW instance (your probably mainly concerned with the 'style' setting):

$wgCategoryTreeSidebarOptions['depth'] = 2;
$wgCategoryTreeSidebarOptions['mode'] = 'categories';
$wgCategoryTreeSidebarOptions['style'] = 'font-size:0.75em';

I'm pretty sure I came up with 0.75em by inspecting the content of the stock sidebar to see what font size it was using.