oceanbluesky on "How to reduce the space between lines above/below menu in twentytwelve theme?"

Hi, how can the space between the horizontal lines above and below the default menu in twentytwelve be reduced? (I'm unable to find the code responsible for the distance between these lines and the menu text...)

thanks!