/*
 * Ext JS Library 2.2
 * Copyright(c) 2006-2008, Ext JS, LLC.
 * licensing@extjs.com
 *
 * http://extjs.com/license
 */

/*
 * Ext JS Library 2.0
 * Copyright(c) 2006-2007, Ext JS, LLC.
 * licensing@extjs.com
 *
 * http://www.extjs.com/license
 */

html, body {
	/*background:#3d71b8;*/
	/*url(../wallpapers/desktop.jpg) no-repeat left bottom;*/
    font: normal 12px tahoma, arial, verdana, sans-serif;
	margin: 0;
	padding: 0;
	border: 0 none;
	height: 100%;
}

input[type=submit],input[type=button] {
	background-color: #eaeaea;
	/*border-color: #d2dbef #8aa5d0 #8aa5d0 #d2dbef; border-style: solid;*/
  height: 20px;
	padding: 0 5px;
  border-width: 0 1px;
	background-image:url(../../images/icon/button_bg.png);
	background-repeat:repeat-x;
/*    vertical-align: middle;*/
    font-size: 13px;
}

pre {
	overflow: scroll;
}



#spacer {
	height: 25px;
	float: left;
	width: 0;
	margin-top: 2px;
}


#small-break{
margin: 0px;
line-height: 4px;
}

#menu ul{
	margin: 0px;
	padding: 0px;
}
#menu li {
	height: 20px;
	list-style: none;
}

#menu li a{
	height: 20px;
	font-size: 120%;
}


#menu li:hover {
	background-color: yellow;
}