All’epoca della mia risposta non l’avevo fatto (pensavo che Justin intendesse includere solo quella funzione), ma anche se includere l’intero file ha risolto il problema, non era la stessa cosa che quando ho modificato direttamente il file.
Ad esempio, ha funzionato sulla pagina latest, ma non nel menu a tendina tutte le categorie… che invece funzionava quando ho modificato direttamente il file!
Qu alla fine ho apportato le modifiche necessarie tramite un po’ di CSS disordinato 
e ho dovuto fare alcuni compromessi. È sicuramente meglio non aver potuto farlo, ma idealmente avrei preferito qualcosa di semplice come cambiare lo stile di una categoria, che fosse facile quanto modificare un template 