/*
   * Based on code by
   *
   * (C) 2001 Zvezdan Petkovic <z.petkovic@computer.org>
   */

/* general elements style */

body
{
  margin : 0 ;
  padding : 0;
  color: rgb(0,0,0);/* text color*/
  background-color:  rgb(255,248,240);/*#EBE6DD;*/
  font-family: Verdana, Arial, sans-serif;
}

:link img, :visited img {
  background: transparent;
  color: #ffffff;
  border: 0;
}

a
{
  text-decoration: none;
  color: rgb(0,0,255);/*color of unvisited links- true blue*/
  background: transparent;
}

a:visited
{
  text-decoration: none;
  color: rgb(0,0,155);/*visited links- dark blue*/
  background: transparent;
}

a:hover
{
  color: #cc9977;
  background : transparent;
} 

h1
{
  font-size: 1.44em;
  color: #000000; 
  background-color: #c0c0f0;/*color of h1 background banner*/
  font-weight: bold;
  border: solid 2px rgb(0,0,155);
  padding: 3px 3px 3px 3px;
}
h3
{
  font-size: 1.3em;
  color: #000000; 
  background-color: #d0d0f0;/*color of h3 background banner*/
  font-weight: bold;
  border: solid 2px rgb(0,0,155);
  padding: 3px 3px 3px 3px;
}
h4
{
  font-size: 1.3em;
  color: #000000; 
  background-color: #f0f0ff;/*color of h3 background banner*/
  font-weight: bold;
  border: solid 2px rgb(0,0,155);
  padding: 3px 3px 3px 3px;
}

dd
{
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

li {
  padding-top: 4px;
  padding-bottom: 4px;
  list-style: square;
}

q {
  font-style: italic;
}

/* page components */

table.layout {
  width : 100%;
}

td.pinmenu {
  /* padding:	10px 10px 0px 15px; */
	padding: 0.5em;
  width : 160px;
  font-size : 100%;
  color:	black;
  background-color:	#EBE6DD;
  vertical-align: top;
  /* min-width: 500px; */ 
  border-bottom : medium solid black;
  border-right : medium solid black;
}

td.main {
  /* width : 100%; */
  /* width:	67%; */
  /* height : 100%; */
  background-color: rgb(255,248,240); /* transparent;*/
  vertical-align: top;
  padding-left : 1.5em;
  padding-right : 1.5em;
  padding-top : 1.0em;

  /* margin: 0;
     margin-left: 15px;
     margin-bottom : 0;
     padding-bottom : 0; */
}

td.lecture {
	 vertical-align: top;
 }
	
/* various others */

div.example
{
  font-size: 1.44em;
  color:  rgb(255,248,240);/*bg color of the rest of the document*/
  background-color: rgb(0,0,155);
  /*font-weight: bold;*/
  border: solid 3px #c0c0f0;/*rgb(155,155,155);*/
  padding: 30px 30px 3px 3px;
  font-size: 100%;
 /* font-face:courier;*/
  
}

div.bluerule {
  margin-top : 1em;
  padding-top: 10px; 
  padding-bottom: 0px;
  margin-bottom: 2px; 
  border-top: solid 2px rgb(0, 0, 165);
}

span.newshead {
  font-size: 110%;
  padding-left: 1em;
}

div.rtl ul {
  margin-left: 0em;
  margin-right: 2em;
}