div.calendar {
  margin: 0px 0px 0px 0px;
  padding: 0px 0px 0px 0px;
  clear: both;
}

/* every day looks like that */
div.calendar .day {
  width: 80px;
  height: 80px;
  float: left;
  border: 1px solid black;
  margin: 0px -1px -1px 0px;
  padding: 2px 2px 2px 2px;
}
/* and the current day additionaly has a different background */
div.calendar .day[curr] {
  background-image: url(../gfx/80x80rot.gif); 
}

div.calendar .num {
  font-size: medium;
  font-weight:bold;
}

div.calendar .day ul{
}

div.calendar .day li {
  font-size: 9px;
  font-family: Arial, Sans-serif;
  border-bottom: 1px solid black;
}

div.calendar a {
  text-decoration: none;
  color: black;
}

div.calendar .header {
  width: 80px;
  height: 20px;
  float: left;
  border: 1px solid black;
  margin: 0px -1px -1px 0px;
  padding: 2px 2px 2px 2px;
  
  font-size: medium;
  font-weight:bold;
}

div.calendar .footer {
  clear: both;
}


/* div.navigation does not depend on .calendar */
div.navigation {
  padding: 0px 0px 10px 145px;
  float: left;
}

div.navigation a {
  float: left;
}

div.navigation h1 {
  font-family: Tahoma,Verdana,Arial;
  font-size: medium; 
  text-align: center;
  
  width: 200px;
  margin: 0px 0px 0px 0px;
  padding: 2px 15px 10px 15px;
  float: left;
}

/*

#calendar p {
  font-family: Arial, 'Helvetica Bold', Charcoal, Sans-serif;
  font-size: large;
  color: red;
}
*/