/* -*-css-*- */
body {
  /* background-color: #f5f0ff; */
  background-color: #ffffff;
  /*  background-image: url(./TpoI.png); */
}

h1, h2, h3, h4, h5, h6, b, strong {
  font-weight: bold;
}

h1 {
  font-size: 200%;
  line-height: 100%;
  margin: 0;
}

h2 {
  text-align: left;
  background-color: #add8ff;
  border-style: solid;
  border-color: slategray;
  border-width: 1px 0px 0px 15px;
  padding: 5px 10px 5px 10px;
}

h2 span.date {
  color: #4b0082; /* indigo */
  text-align: center;
}

h3 {
  color: #7b68ee; /* mediumslateblue */
  /* background-color: snow; */
  font-size: 1em;
  font-weight: bold;
  margin: 0em;
}

/* */
div.header {
 text-align: center;
 position: static;
 top: 0;
 left: 0;
 width: 100%;
 margin-bottom: 1em;
}

div.menu {
 border-width: 1px 1px 0 0;
 border-color: #303030;
 border-style: solid;
 background-color: #add8ff;
 font-style: italic;
 font-size: 12pt;
 line-height: 1.2em;
 text-shadow: 1px 1px 1px silver;
 float: left;
 position: absolute;
 top: 150px;
 left: 1em;
 width: 19%;
 margin: 0em 6% 2em 0;
 padding-bottom: 40em;
}

div.menu a {
 color: #777733;
}

div.menu a:hover {
 color: #000000;
 background-color: #fffacd;
}

div.menu p {
 background-color: #add8ff;
 margin: 0;
}

div.main {
 position: relative;
 top: 0;
 left: 25%;
 width: 75%;
 height: auto;
 padding: 1em;
}

div.section {
  text-align: left;
  margin: 1.5em 5% 3em 0;
  padding-right: 0px 10px;
}

div.subsection p {
  margin-top: 0.5em;
  margin-bottom: 0.7em;
  line-height: 130%;
}

div.bottom {
  font-style: italic;
  font-size: 8pt;
  line-height: 1.0em;
  text-shadow: 1px 1px 1px blue;
  position: relative;
  left: 25%;
  width: 75%;
  margin: 1em 0 2em 0;
  padding: 0;
}

/* */
p.strong {
  font-size: 200%;
  font-weight: bold;
  font-family:"Comic Sans MS",Osaka,sans-serif;
  text-align: center;
}

pre {
  color: #2f4f4f; /* darkslategray */
  background-color: #b0e0e6; /* powderblue */
  font-family: verdana,arial,helvetica,sans-serif;
  font-size: 0.8em;
  line-height: 130%;
  margin: 0 2em 0 3em;
  padding: 8px;
}

a:link, a:visited {
  color: blue;
  text-decoration: none;
}

a:hover, a:active {
  color: red;
  text-decoration: underline;
}