body
{ color: black;
  background-color: white;
  padding: 0em 3em; }

a
{ text-decoration: none }

hr
{ background: black;
  height: 1px;
  border-style: none; }

table
{ border: 3px solid black; }

th
{ text-align: center;
  padding: 3px 5px;
  border: 0px solid black;
  font-weight: bold; }

td
{ text-align: center;
  padding: 3px 5px;
  border: 1px solid black; }

strong
{ color: red;
  background: transparent;
  font-style: normal;
  font-weight: bold;
}
em
{ font-style: normal;
  font-weight: bold;
}

em
{ font-weight: bold }

h1
{ color: darkgreen; }
h2
{ color: darkred;
  margin-top: 2em;
  border-bottom: solid 2px darkred; }

h3
{ color: darkred; }

p
{ text-indent: 1em; }

div.copyright
{ text-align: right;
  font-size: small; }

div.last-update
{ text-align: right; }

table.programs td
{ text-align: left; }


table.tasks td
{ text-align: left; }