Cambio valores de fuentes

[TupuntoHot]

Hola, quiero cambiar el tamaño del menú principal. He ido a themes/default/css/global y allí he cambiando los valores de la fuente en la línea 294 (me cambia también los valores de las categorías, pero me da igual). Por defecto viene 11px/14px, el primero es el tamaño de la fuente y el segundo el interlineado, pues bien los cambio por 14px/12px que he probado previamente con el bug y queda bien. Hecho todo esto cargo la modificación y sigue apareciendo con la fuente por defecto. Sé que hay algún solapamiento pero no lo encuentro. ¿alguién sabe por dónde mirar?