#howtoText{
	font-size:80%;
	margin: 10px 0 30px 10px;
}

#howtoText div{
	margin:10px 0 150px 0;
	padding:10px 0 0 0;
}

h1, h2, h3, h4{
	font-size:125%;
	line-height:180%;
}

#howtoText p{
	margin:10px 0 10px 5px;
}

.menu li{
	text-decoration: underline;
	color: #0000ff;
	cursor: pointer;
}





/* top-border */
#top .x-panel-body{
	border: none;
}



/* panel */

#portal .x-panel-header{
	padding: 5px 0 4px 5px;
}