/* Using two tables for layout, so remove borders from them. */
body        > table,
#page-title > table
{
  border-spacing: 0;
}


body > table tr {
  vertical-align: top;
}
#page-menu { white-space: nowrap; }


#page-title { margin-bottom: 0.75em; }
#page-content { padding-left: 1em; }

#page-title { border-top: thick ridge black; }
#page-menu { border-top: ridge #035; }


#page-title {
  background: #035;
  padding-top: 0.1em; padding-bottom: 0.1em; padding-left: 1em; padding-right: 1em;
}
#page-title table { color: white; }


#page-title #logo {
  border: 0;
  margin-right: 1em;
}

#page-menu {
  padding-left: 0.5em; padding-right: 0.5em;
  padding-bottom: 0.3em;
  background: #58A; color: black;
}

#page-menu .group { margin-top: 0.3em; margin-bottom: 1em; }
#page-menu .group .heading { font-weight: bold; }
#page-menu .group .links { text-align:right; }
#page-menu .group .links a {
  display:block;
  margin-top: 0.1em; margin-bottom: 0.1em;
  border-top: thin groove #035;
}
#page-menu .group a:first-child { border-top: none; }

#page-menu a {
  text-decoration: none;
  color: black;
}
#page-menu a:hover {
  background: #035;
  color: white;
}


#page-content h2 {
  margin-top: 0;
  border-top: ridge #035;
  background: #F65; color: black;
  padding-top: 0.1em; padding-left: 0.4em; padding-bottom: 0.1em;
}


div.announcements ul {
  list-style: none;
  padding-left: 0;
  margin-left: 0;
}
div.announcements ul > li {
  margin: 0;
  padding: 0.25em;
  border-top: thin solid gray;
}
 
div.announcements .title {
  font-weight: bold;
}
div.announcements .date {
  font-weight: bold;
  float: right;
  font-family: monospace;
}
div.announcements .body { clear: both; } /* Puts it vertically past floating date. */

.pal-cal     {
	       width: 100%;              /* width of calendar on page */
	       margin-left: auto;       /* center calendar */
	       margin-right: auto;
	       margin-bottom: 15px;     /* space below each calendar */
	       border: 2px solid black; /* border around each calendar */
             }


/* formatting for the "Monday", "Tuesday", ... labels */
.pal-dayname {
                background-color: black;
	        color: white;            /* font color */
		width: 10%;              /* sets minimum width of columns in calendar */
             }


/* month name (on top of each calendar) */
.pal-month   {
               background-color: #cccccc;
	       font-weight: bold;
	       font-size: 150%;
             }


/* Formatting for individual days. If you wish, you can define these separately*/
.pal-today, .pal-mon, .pal-tue, .pal-wed, .pal-thu, .pal-fri, .pal-sat, .pal-sun
             {
               border: 1px solid black;
	       height: 100px;            /* minimum height of rows in calendar */
             }


/* additional formatting for Saturday and Sunday */
.pal-sat, .pal-sun
             {
               background-color: #eeeeee;
             }



/* additional formatting for the current day */
.pal-today   {
	       border: 3px solid darkred;
	       background-color: #cccccc;
 	     }


/* formatting of blank days at beginning and end of calendar */
.pal-blank   { border: 1px solid lightgray; }



/* formatting of individual events.  For example, if a calendar file
in pal.conf is set up to display as red, you can change the appearance
of the events in that calendar file by changing .pal-event-red. */

.pal-event-black    { background-color: #000000;
                      color: #ffffff; }
.pal-event-red      { background-color: #ff6666; font-size: 75%; }
.pal-event-green    { background-color: #66ffcc; }
.pal-event-yellow   { background-color: #ffff99; }
.pal-event-blue     { background-color: #66ccff; }
.pal-event-magenta  { background-color: #cc99ff; }
.pal-event-cyan     { background-color: #ccffff; }
.pal-event-white    { background-color: #cccccc; }