/* M4 preprocessor file to generate a CSS2 style sheet using constants */

/* !!!!! DO NOT EDIT THE .css FILE; edit the .css.in file instead !!!!! */

/* ---- IMPORTS  ---- (have to come first according to CSS standards */

@import url("./msc-boxes.css") ; /* ---- boxes and columns: dimensions ; rounded boxes ---- */

@import "msc-schedule.css" ; /* ---- Schedules ---- */

@import "msc-calendar.css" ; /* ---- Calendars ---- */



/* ---- constants ---- */




/* ---- BODY ---- */ 

BODY 
{ padding: 0 0 0 0 ;
  margin: 0 0 0 0 ;
  background-color: rgb(152,200,50) ;
}

/* --- boxes: formatting */

div#leftcol
{ background-color: white ;
}

div#topicpath
{ font-family: Frutiger Linotype,arial, Futura Hv BT, Futura BdCn BT, arial ;
  color: rgb(152,200,50) ;
  font-size: 10.5pt ;
}

div#topic
{ font-family: Frutiger Linotype,arial, Futura Hv BT, Futura BdCn BT, arial ;
  color: rgb(152,200,50) ;
  font-weight: bold ;
  font-size: 15pt ;
}

div#subtopics
{ font-family: Frutiger Linotype,arial, Futura Hv BT, Futura BdCn BT, arial ;
  color: rgb(152,200,50) ;
  font-size: 10.5pt ;
}

div#toc
{ font-family: Frutiger Linotype,arial, Futura Hv BT, Futura BdCn BT, arial ;
  background-color: rgb(128,128,128) ;
  padding: 2px 8px 2px 8px;
  color: white ;
  font-style: italic ;
  font-size: 11.5pt ;
}

div#leftpane
{ background-color: white ;
}

div#leftcontent
{ font-family: Palatino Linotype, palatino, times ;
  font-size: 11pt ;
  line-height: 15pt;
  color: black ;
}

div#calendar
{
  text-align: center ;
}

iframe#calendar
{
  background-color: rgb(152,200,50) ;
}

/* --- Paragraph formatting --- */

p.news
{ border-width: 0 0 0 3 ;
  padding-left: 9 ;
  border-color: rgb(255,102,0) ;
  border-style: solid ;
}

ul 
{ list-style-image: url("./graphics/bullet.gif") ; 
  line-height: 12pt; 
  padding-left: 15px ;
  margin-left: 15px ;
}

dt
{ font-style: italic ;
}

h1, h2, h3 
{ font-family: Frutiger Linotype,arial, Futura Hv BT, Futura BdCn BT, arial ;
  color: rgb(255,102,0) ;
  padding: 0 0 0 0 ;
}


h1
{ font-size: 14pt ;
}

h2
{ font-size: 11pt ; 
}

h3
{
  font-style: italic;
  font-size: 10pt ;
}

table
{ font-family: Palatino Linotype, palatino, times ;
  font-size: 11pt ;
  line-height: 15pt;
  color: black ;
}

/* --- Hyperlinks --- */

a
{ color: rgb(255,102,0) ;
  font-weight: bold;
/* omit; sometimes hyperlinks occur in italics contexts... 
  font-style: normal;
*/
  text-decoration: none ;
  border: none ;
  margin: none;
  margin-width: 0px ;
  border-width: 0px ;
}

A:link		{ color: rgb(152,200,50) }
A:visited	{ color: rgb(152,200,50) }
A:active	{ color: rgb(152,200,50) }
A:hover		{ color: rgb(128,128,128) }

a img  /* make sure borders around hyperlinked images disappear */
{
  border: none ;
  margin: none;
  margin-width: 0px ;
  border-width: 0px ;
}

DIV#subtopics A       { color: _HEADCOLOR }
DIV#subtopics A:hover { color: _GREY }

DIV#topicpath A       { color: _HEADCOLOR }
DIV#topicpath A:hover { color: _GREY }

DIV#toc A
{ color: white ;
  text-decoration:none;
  font-weight: normal;
  font-style: italic;
}

div#toc a:hover { color: 
rgb(255,102,0) }

/* --- deprectaed; remove --- */

A.atoc		
{ color: white ;
  text-decoration:none;
  font-weight: normal;
  font-style: italic;
}

A.atoc:link	{ color: white }
A.atoc:visited	{ color: white }
A.atoc:active	{ color: white }
A.atoc:hover	{ color: rgb(255,102,0) }