#menu{
width: 200px;
float: left;
border-right: 5px solid #0000ff;
border-bottom: 5px solid #0000ff;
padding-right: 5px;
background-image: url("pattern.png");
font-family: "Times New Roman", Times, Serif;
font-size: 20px;
}

#body{
margin-left: 225px;
border: 5px solid #00ff00;
padding: 20px;
background-image: url("icosa.png");
font-size: 20px;
}

#body_empty{
margin-left: 225px;
border: 5px solid #00ff00;
padding: 20px;
font-size: 20px;
}


