body {
   background: #E0E0E0;
	margin: 0;
	font-family: arial, verdana, helvetica, sans-serif;
}

#menu {
   background: #F0F0F0;
	float: left;
	width: 160px;
	padding-top: 50px;
	padding-right: 20px;
	padding-left: 20px;
	padding-bottom: 50px;
	text-align: right;
}

#menu li {
	padding: 0.2ex 2ex;
}

#menu ul {
	display: inline;
	padding: 0;
}

#menu li {
	display: block;}

#menu span.mirror {
	font-size: smaller}

#textarea {
	margin-left: 200px;
	padding: 1em;}