/* Cascading style sheet */
/* General appearance of a page */

/* Normal Pages */
BODY {
  margin:	5px;
  background:	url(tlo.jpg) repeat-y fixed;
  color:	#0055cc;
  font-family:	"comic sans ms", helvetica, sans-serif;
  font-size:	14pt;
  margin-left: 20pt;
  margin-top: 10pt;
  margin-right: 10 pt;
  margin-bottom: 10pt;
}

BODY.menu {
  margin:	5px;
  background:	white;
  color:	#0055cc;
  font-family:	"comic sans ms", helvetica, sans-serif;
  font-size:	14pt;
}

B {
	color: #003366;
}

H1 { 
  margin-top: 	1em;
  margin-bottom:1em; 
  font-size: 	21pt;
  text-align: 	center; 
  font-weight: 	bold;
}

H2 {
  margin-top: 	0.5em;
  font-weight: 	bold;
}

/* Color of a standard page */
H1 {color: #003366 }
H2, H3, TD { color: #003366}

/* Links to different page types */
A:link {
	color: #0063CE;
}
A:visited {
	color: #0063CE;
}
A.xx:link {
	color: Background;
}
A.xx:visited {
	color: Background;
}
A.k {
	text-decoration: none;
	color: #191970;
}

A.k:visited {
	text-decoration: none;
	color: #483D8B;
}

A.n {
	color: #191970;
	font-size: 18px;
	text-decoration: none;
	margin-left: 50px;
}

A.n:hover {
	background: #4169E1;
	color: #F8F8FF;
	text-decoration: none;
	font-size: 18px;
	margin-left: 50px;
}

A.s {
	color:  #1E90FF;
	font-size: 16px;
	text-decoration: none;
	margin-left: 80px;
}

A.s:hover {
	background: #4169E1;
	color: #F8F8FF;
	text-decoration: none;
	font-size: 16px;
	margin-left: 80px;
}
A.ss {
	color: #191970;
	font-size: 14px;
	text-decoration: none;
	margin-left: 100px;
}
A.ss:visited {
	color: #1E90FF;
	font-size: 14px;
	text-decoration: none;
	margin-left: 100px;
}
A.ss:hover {
	background: #4169E1;
	color: #F8F8FF;
	text-decoration: none;
	font-size: 14px;
	margin-left: 100px;
}
A.sss {
	color: #191970;
	font-size: 12px;
	text-decoration: none;
	margin-left: 120px;
}
A.sss:visited {
	color: #1E90FF;
	font-size: 12px;
	text-decoration: none;
	margin-left: 120px;
}
A.sss:hover {
	background: #4169E1;
	color: #F8F8FF;
	text-decoration: none;
	font-size: 12px;
	margin-left: 120px;
}
A.out:link { color: #FF6347;  }
A.out:visited { color: #aa0000 }

A.meta:link { color: #666666 }
A.meta:visited { color: #444444 }

/* Figures */
.figure {
  margin:	1em;
  padding:	0px;
  font-size:	10pt;
  text-align:	center;
}

/* The logo at the end of the page */
.logo {
  text-align:	center;
  font-size:	10pt;
  font-style:	italic;
}

/* FIXME-style */
.fixme {
  color:	red;
  font-style:	italic;
}