/*
// style.css: cascading style sheet style definitions for PST web site
*/

/* Set the overall properties for the document.
//
// Note that because of a bug, other selectors fail to inherit this
// font-family setting.
*/
BODY
{
  font-family: sans-serif ;
  background: #cccccc ; /* (204, 204, 204) -- light grey */
}

/* This font-family setting works around a bug in browsers that fail to
// properly inherit font-family property
*/
H1,H2,H3,H4,H5,P,DL,DD,DT,OL,LI,UL,TH,TD
{
  font-family: sans-serif;
}

DT
{
  font-weight: bold ;
}

/* Link properties */
A {
  text-decoration: none ;
}

A:link {
  color: 996600 ;
}

A:visited {
  text-decoration: none ;
  color: 996600 ;
}

A:active {
  color: 330000 ;
}

A.button:hover
{
  /* font-weight: bold ;*/
  background: ffcc99 ;
}

/* Link "button" class, for table buttons */
A.button,A.button:visited
{
  text-decoration: none ;
  color:           black ;
  font-size:       12px ;
}

/* Link "plain" class, for links that looks like regular text.
//
// I'd like to know how to set the color to the current text color,
// instead of explicitly setting it here.
// Can CSS indicate an "unset" or "default" value?
*/
A.plain,A.plain:visited
{
  text-decoration: none ;
  color:           black ;
}

/* Block paragraph table style */
TH.para
{
  text-align: left ;
  vertical-align: top ;
  background:     white ;
}
TD.para { background:     white }

/* Table cell "button" class for menu buttons */
TABLE.button
{
  width: 100%;
  align: center;
}

TD.button
{
  background: #ffffff;
  text-align: left;
  font-size:  12px ;
}

TD.subButton
{
  background: #ffffff;
  /* text-align: center; */
  font-size:  12px ;
  padding-left: 1 em ;
}

TD.subSubButton
{
  background: #ffffff;
  /* text-align: right; */
  font-size:  12px ;
  padding-left: 2 em;
}

/* Schedule table style */
TABLE.schedule {
  border-width: thin
  border-style: solid
}

TH.schedule
{
  vertical-align: top ;
  background:     ffcc99 ; /* (204, 204, 255) -- light pale blue */
}

TD.schedule
{
  vertical-align: top ;
  background:     ffffff ;
}