// JavaScript Document
function menu(){
	var menuEls = document.getElementById("right_menu").getElementsByTagName("SPAN");
	for (var i=0, len=menuEls.length; i<len; i++) {
		if ( menuEls[i].offsetHeight > 34 ) {menuEls[i].style.padding = '10px 0 0 3px'}
	}
	
}