En el momento de escribir esto no lo hice (ya que pensé que Justin solo quería que incluyera esa función), pero aunque incluir el archivo completo hizo que funcionara, no fue lo mismo que cuando edité el archivo directamente.
Por ejemplo, funcionó en la página latest, pero no en el menú desplegable de todas las categorías… ¡lo cual sí funcionó cuando edité el archivo directamente!
Así que terminé haciendo los cambios que necesitaba mediante un CSS algo desordenado 
y también tuve que hacer algunas concesiones. Definitivamente es mejor que no haber podido hacerlo, pero idealmente habría preferido algo tan sencillo como cambiar el estilo de una categoría que fuera tan simple como editar una plantilla 