/* BODY */
BODY 
{ 
  font-family: arial, helvetica, serif; 
  font-style: normal; 
  color: black;
  background-color: #0f436a ;
  padding: 0%; 
  margin: 0%; 
  text-align: justify; 
  background-image: url(bg_border2.jpg); 
  background-repeat: repeat;
}

#this { text-decoration: none; color: white; }
#sub { padding-left: 1em; font-weight: bold;}

/* The main background, common for all sites. Covers the whole screen,
   and includes all borders and text-bodies. */ 
TABLE.background  
{ 
  width: 100%; 
  background: #0f436a; 
  border-color: #0f436a; 
  border-style: solid;
  padding: 0%; 
}

/* Left border; includes navigation menu on the left and currently 
   nothing on the right. */
TD.border {
  width: 14%; 
  padding: 0%; 
  margin: 0%; 
  padding-left: 0.5em;
  background-image: url(bg_border2.jpg); 
  background-repeat: repeat;
  vertical-align: top; 
  border-color: #0f436a ;
}

/* Left border; includes navigation menu  */
TD.lborder {
  width: 14%; 
  padding: 0%; 
  margin: 0%; 
  padding-left: 0.5em;
  background-image: url(bg_border2.jpg); 
  background-repeat: repeat;
  vertical-align: top; 
  border-color: #0f436a ;
}

/* Right border; includes menu for quicklinks */
TD.rborder {
  width: 18%; 
  padding: 0%; 
  margin: 0%; 
  padding-left: 0.5em;
  background-image: url(bg_border2.jpg); 
  background-repeat: repeat;
  vertical-align: top; 
  border-color: #0f436a ;
}

/* Navigation menu in the left-hand panel. */
TABLE.menu 
{ 
  width: 90%; 
  margin: 0%;
  padding: 2%; 
  border-style: double; 
  border-color: white; 
  background-image: url(bg_main.jpg); 
  background-repeat: repeat;
  text-align: left; 
  font-size: small; 
 }

TH.menu 
{ 
  color: white; 
  font-weight: bold; 
  text-align: center;
}

TD.smallmenu 
{ 
  font-size: 90%;
}

TD.indexmainbody
{
  background: #FFFFFF; /* 0f436a; */
  border-style: none; 
  width: 68% ;
  vertical-align: top; 
  text-align: justify; 
  padding: 0%; 
  margin: 0%;
  background-image: url(bg_border2.jpg); 
  background-repeat: repeat;
 }

TD.mainbody
{
  background: #FFFFFF; /* 0f436a; */
  border-style: none; 
  width: 72% ;
  vertical-align: top; 
  text-align: justify; 
  padding: 0%; 
  margin: 0%;
  background-image: url(bg_border2.jpg); 
  background-repeat: repeat;
 }


TABLE.contactinfo { font-size: small; }
TD.contactinfo { font-size: small; }

H1 { color:white; font-size: x-large; font-weight: bolder; margin-left: 1em;
    margin-top: 0.2em; margin-bottom: 0.2em; text-align: left;}
H2 { color:white; font-size: large; margin-left: 1em; text-align: left; }
H3 { color:white; font-size: medium; text-align: left; }
H4 { color:white; font-size: small;  text-align: left;}

TABLE.stats { font-size: smaller; font: monospace; border: double; }

H3.new { color:white; font-size: large; font-weight: bolder;  }

p      { text-align: justify; color: black;}

hr     { height: 3px ;}
hr.sub { width:80%; height: 1px ;}

emph   { font-weight: bolder ; }
emph.new { color: yellow; }

TABLE.text  
{ 
  background: #6699CC; 
  border-style: double; 
  border-color: white; 
  background-image: url(bg_main.jpg);
  background-repeat: repeat; 
  padding-left: 0.5em; 
  padding-right: 0.5em; 
  padding-top:0%; 
  padding-bottom: 0%; 
  width: 100%; 
}
TD.text 
{ 
  list-style-type: none; 
  text-align: left; 
  margin-top: 2%; 
  padding: 1%;
}

TABLE.caption { 
  font-size: small; text-align: center; width: 100%;}

/* Link properties */
A:link, A:active {
  color: #000066; text-decoration: none; font-style: italic;
  font-weight: bolder; } 
A:visited {
   color: #000099; text-decoration: none; font-style: italic; 
   font-weight:bolder; }
A:hover { 
  text-decoration: underline; color: #0000FF; font-weight: bolder; }


A.txt:link, active {
  color: #000066; 
  text-decoration: none; 
  font-style: italic;
  font-weight: normal; 
} 
A.txt:visited { 
  color: #000099; 
  text-decoration: none; 
  font-style: italic; 
  font-weight: normal;
}
A.txt:hover  { 
  text-decoration: underline; 
  color: #0000FF;  
  font-weight: normal;  
}



OL { list-style-type: decimal; }

TD.left  { text-align: right; }
TD.right { text-align: left; }
TD.img   { text-align: center; }

#publication { font-style: italic; font-size: smaller; }
#auth { font-weight: bolder; }
#name { font-style: italic; }
#date { font-size: small; text-align: right; }
#correction { text-decoration: line-through; }
#math { font-style: italic; }

/* COPYRIGHT etc. labels */
table.label 
{
  font-size: x-small;
  border-top-style: double; 
  border-bottom-style: double; 
}
td.label_left
{
  font-size: larger;
  font-weight: bolder;
  background-color: #90afc1; 
  border-color: black; 
  background-image: url(bg_main.jpg);
  background-repeat: repeat; 
}
td.label_rl
{
  border-style: none ;
  text-align: left;
}
td.label_rr
{
  border-style: none ;
  text-align: right;
}


/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH    { font-family: "Century Schoolbook", serif; }
.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }