/* common part of lecture notes stylesheet
   ats 2001-03
 */

/* body
   controls background/foreground color, sets margin
 */
body {
  background: lightgoldenrodyellow;
  color: black;
  margin: 0.5em;
}

/* class="*-font"
   control fonts [possibly by inheritance from <div>]
 */
*.h1-font {
  font: bold x-large sans-serif;
}
*.h2-font {
  font: bold larger sans-serif;
}
*.p-font {
  font: medium serif;
}
*.small-font {
  font-size: x-small;
}
*.red {
  display: inline;
  color: red;
}

/* class="h?-block"
   produce headers on a solid background
   [font is defined as in h?-font]
 */
*.h1-block {
  background: blue;
  color: white;
  font: bold x-large sans-serif;
  padding: 0.25ex 0.25em;
  margin: 0.5ex 0;
}
*.h2-block {
  background: lightsteelblue;
  color: white;
  font: bold larger sans-serif;
  padding: 0.25ex 0.25em;
  margin: 0.5ex 0;
}

/* class="float-left"
   left text float around something at left
 */
*.float-left {
  float: left;
}

/* p
   produce a **small** amount of vertical white space
 */
p {
  margin: 0.75ex 0;
}

/* table -- content of document
   apparently, font is not inherited from body
 */
table {
  font: medium serif;
  width: 100%;
}

table.auto {
  width: auto;
}

/* table cells -- padding and alignment */
th {
  padding: 0.25ex 0.25em;
  text-align: left;
  vertical-align: top;
}

td {
  padding: 0.25ex 0.25em;
  text-align: left;
  vertical-align: top;
}

/* class=rule -- fancy termination line */
th.rule {
  background: lightsteelblue;
  border-bottom: black solid 1px;
  padding: 0.25ex;
}

div.rule {
  color: lightsteelblue; /* invisible */
  font: 0 sans-serif;
}

/* links */
a img {
  border: 0;
}

a:link    {                        color: blue;  border-color: blue }
a:visited { text-decoration: none; color: brown; border-color: brown }
a:active  {                        color: red;   border-color: red }