/* English Menu */

#menu li li a span.overview { padding:12px 67px;}
#menu li li a span.examples { padding:12px 34px 12px 34px;}
#menu li li a span.conversion { padding:12px 47px;}
#menu li li a span.typesetting { padding:12px 59px;}

/* German Menu */

#menu li li a span.overview-d { padding:12px 67px;}
#menu li li a span.examples-d { padding:12px 46px 12px 46px;}
#menu li li a span.conversion-d { padding:12px 36px 12px 36px;}
#menu li li a span.typesetting-d { padding:12px 65px;}