Dear community:, I installed the lovely SideToc but I would like to modify its style. Up to plugin description there is a sidetoc.less file that can be tweaked ( I would like to change font style and size) but not sure how to perform such modification once the plugin is installed.