Как изменить шрифт меню? - Вопросы по CSS

Подскажите, пожалуйста, где искать исходник этого css-блока?

#menu ul.menu > li > a {
color: #A7DDFF;
text-shadow: 0 1px 1px #000;
}

сайт: http://nhf.nichost.ru

Необходимо сделать шрифт в верхнем меню побольше, а я чё-то закопался где его менять. 

Как-то так

Спасибо, но Вы, возможно, не так поняли вопрос.

Какой CSS файл необходимо редактировать?

Нужно отключить компрессию CSS в админке. Возможно в настройках шаблона. Возможно какой-то плагин стоит.

Нужно отключить компрессию CSS в админке. Возможно в настройках шаблона. Возможно какой-то плагин стоит.

Да вроде отключена.. Вы из-за неё не можете определить "откуда  ноги растут"?)