/********************************************************************/
/* General settings */

body {
  font-family: Verdana, Arial, sans-serif, Helvetica;
  color: #000000;
  background-color: #ffffff;
  margin: 0px;
}

.main b { font-weight: bold; }

.p { margin-bottom: 0.5em; }

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

{ color: #ff0000; }

.main a:link { text-decoration: underline; color: #FFFFFF; }
.main a:visited { color: #FFFFFF; }
.main a:visited:hover { background-color: #FFFFFF; color: #ffffff; }
.main a:link:hover { background-color: #FFFFFF; color: #ffffff; }


/********************************************************************/
/* The main text of a lecture */

.main { 
  margin: 20px;
}

.email, .url { 
  font-family: Courier, fixed;
}

/********************************************************************/
/* Math mode */

.m { 
  font-family: serif, Times;
  font-style: italic;
}

div.mm {
  margin-left: 2em;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  font-style: italic;
  font-family: serif, Times;
}

/********************************************************************/
/* The header and navigation */

.header {
  font-size: 160%;
  font-weight: normal;
  color: #ffffff;
  background-color: #000086;
  margin: 0px;
  padding: 3px;
  padding-left: 20px;
  border-color: #ffffff;
  border-width: 1px;
  border-style: none none solid none;
}

table.navigation {
  border-collapse: collapse;
  background-color: #7052a2;
  color: #ffffff;
  width: 100%;
  table-layout: auto;
  border-style: none;
  margin: 0px;  
}

.navigation td { 
  border-color: #ffffff;
  border-width: 1px;
  border-style: none solid none none;
  width: fixed;
  text-align: left;
  margin: 0px;
  padding: 2px;
  padding-left: 15px;
  padding-right: 15px;
}

.navigation td.active {
  text-decoration: none;
  color: #ffffff;
  background-color: #000086;
  border-color: #ffffff;
  border-width: 1px;
  border-style: none solid none none;
  text-align: left;
  margin: 0px;
  padding: 2px;
  padding-left: 15px;
  padding-right: 15px;
}

.navigation a {
  text-decoration: none;
  color: #ffffff;
}

.navigation a:active, .navigation a:hover {
  text-decoration: none;
  color: #ffff00;
}

/********************************************************************/
/* path */

div.path {
  margin-top: 5px;
  margin-left: 15px;
  font-weight: bold;
  font-size: 90%;
  color: #000086;
}

div.path a {
  color: #7052a2;
}

/********************************************************************/
/* Section & subsection titles */

h2 { 
  font-weight: bold;
  font-size: 250%;
  border-width: 2px;
  border-style: none none solid none;
  margin-top: 0.5em;
  margin-bottom: 1.5em;
}

h3 { 
  font-weight: bold;
  font-size: 170%;
  border-width: 1px;
  border-style: none none solid none;
}

h4 { 
  font-weight: bold;
  font-size: 150%;
}

h5 { 
  font-weight: bold;
  font-size: 115%;
}

/********************************************************************/
/* Table of contents */

.toc { font-size: 115%; }

.toclectures a { font-size: 120%; margin-right: 1em; }

.tochomeworks a { font-size: 120%; margin-right: 1em; }


/********************************************************************/
/* Exercises */

.exercise { 
  padding: 0.5em;
  margin: 2em;
  background-color: #e8e8ff;
  border: solid 1px;
}

.exercise h5 { 
  margin-top: 0px;
  margin-bottom: 1em;
}

.question { 
}

.hint { 
  font-size: 75%;
  margin: 0px;
}

.hint h6 { 
  margin-top: 1em;
  margin-bottom: 0px;
}

.solution { }

/********************************************************************/
/* Shell */

.shell { 
  background-color: #ffffff;
  border-color: #000000;
  border-width: 1px;
  border-style: solid;
  font-family: Courier, fixed;
  font-weight: normal;
  padding: 0px;
  padding-left: 1em;
  width: 80ex;
  margin: 2em;
}

.shell em { 
  color: #000086;
  font-style: normal;
  font-weight: bold;
}

.shell i { 
  color: #600000;
}

/********************************************************************/
/* Source code */

table.code {
  margin: 2em;
  border-collapse: collapse;
  border: solid 1px;
}

td.code { 
  margin: 0px;
  padding: 0px;
  vertical-align: top;
  background-color: #ffffff;
}

td.code pre { 
  margin: 0px;
  padding: 0.5em;
}

td.lineno pre { 
  margin: 0px;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
}

.hint .code { 
  font-size: 75%;
}

.hint .shell { 
  font-size: 75%;
}

th.code { 
  background-color: #006699;
  padding: 2px;
  padding-right: 0.5em;
  text-align: right;
  font-weight: normal;
}

.code a:link, .code:active { color: #ffffff; }
.code a:link:hover { color: #ffff00; }

td.lineno { 
  vertical-align: top;
  text-align: right;
  color: #ffffff;
  background-color: #006699;
  padding-right: 0.5em;
  padding-left: 0.5em;
  padding-top: 0px;
  padding-bottom: 0px;
}

/********************************************************************/
/* Teacher */

table.teacher { 
  margin-bottom: 2em;
  padding: 0px;
  border-collapse: collapse;
}

.teacher th { 
  font-weight: bold;
  text-align: right;
  padding-right: 0.5em;
  padding-left: 0.5em;
}

.teacher td { 
  text-align: left;
  padding: 3px;
  padding-right: 0.5em;
  padding-left: 0.5em;
}

/********************************************************************/
/* News */

.news { 
  background-color: #e0e0ff;
  padding: 0.5em;
  margin-left: 2em;
  margin-right: 4em;
  border: solid 1px;
}

.news h5 { 
  margin: 0px;
}

/********************************************************************/
/* displayed images */

.display {
  margin: 2em;
  display: block;
}


/********************************************************************/
/* important slogans */

table.important {
  padding: 0.5em;
  padding-left: 1em;
  border: solid 1px;
  background-color: #ffe0e0;
  font-size: 110%;
  width: 75%;
  margin-top: 2em;
  margin-bottom: 2em;
  margin-left: 2em;
}


table.deftable {
  padding: 0.5em;
  padding-left: 1em;
  border: solid 1px;
  margin-top: 2em;
  margin-bottom: 2em;
  margin-left: 2em;
}

.deftable th { 
  padding-bottom: 1em;
}

.deftable td.dt {
  padding-left: 0.5em;
  padding-right: 2em;
  text-align: left;
}

.deftable td.dd {
  padding-right: 0.5em;
  text-align: left;
}

/********************************************************************/
/* Solutions */

.solutions { 
  margin: 20px; 
}

.solutions h4 { 
  font-size: 115%;
}