body {
  margin: 0px;
  font-family: Verdana,arial, helvetica
}
p,li {
  line-height: 1.2em
}

#masthead {
  background-position: 19px 17px;
  background-image: url(red_banner.png);
  background-repeat: no-repeat;
  background-size: 260px 45px;
  background-color: rgb(256,256,256);
  height:100px;
}
#masthead:before {
  position:absolute;
  top: 18px;
  right:0px;
  display:block;
  font-family: "MetaMedium-Roman","Source Sans Pro",Helvetica,Arial,sans-serif;
  font-size:18px;
  font-weight: 700;
  padding-right:22px;
  color: rgb(204,0,51);
  content:"Department of Computer Science";
}
#main {
  margin-top: 3em;
  margin-left: 7em;
  margin-right: 5em;
  max-width:38em
}
a:link, a:visited, a:hover {
    color: rgb(142,13,24);
}
a:hover, a:active {
    color: rgb(204,0,51);
}
h1 {
  font-family: Palatino,'Palatino Linotype','PT Serif',Georgia,serif;
  font-size: 32pt;
  margin-top:0.5em;
  margin-bottom: 1em;
  color: black;
  font-weight: 700;
}
h2 {
  padding-top:0.5em;
  font-family: Palatino,'Palatino Linotype','PT Serif',Georgia,serif;
  font-size: 22pt;
  margin-bottom: 0.25em;
  color: black;
  font-weight: 700;
}
h3 {
  font-family: Palatino,'Palatino Linotype','PT Serif',Georgia,serif;
  font-size: 16pt;
  margin-top: 2em;
  margin-bottom: 0.25em;
  color: black;
  font-weight: 700;
}
.addarea {
  display: inline-block;
  margin-top: 1em;
  margin-left: 1em;
  background-color: #eee;
  padding: 0.5em;
  padding-right: 1em;
  border: 1px solid;
  border-color: #aaa;
}
.addarea h4 {
  margin-top: 0px;
}
.inset {
  margin-left: 1em;
}
.explanation {
  margin-top: 1em;
  background-color: #eee;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid;
  border-color: #aaa;
}
.hidden {
  position:absolute;
  left:-10000px;
  top:auto;
  width:1px;
  height:1px;
  overflow:hidden;
}
.messages {
  -moz-border-radius: 0.5em;
  -webkit-border-radius: 0.5em;
  border-radius: 0.5em;
  padding:0em 1.5em 0em 1.5em;
  border: solid #b00 1px;
  background-color: #fdd;
  margin-bottom: 1em;
}
.message {
  padding:1em 1.5em 1em 1.5em;
}
.grid-left {
  display:flex; align-items:center;
  margin-bottom:0.5em;
}
.grid-left > * {
  margin-left: 1em
}
.label {
  padding:0em 0.5em 0em 0.5em;
  border: solid #bb0 1px;
  background-color: #ffd;
  margin-left: 0.5em;
}
.footer {
  margin: 2em 0 
}
pre {
  white-space: pre-wrap;  
}

tbody tr:nth-of-type(even) {
      background-color:#f0f7ff;
}

tbody tr:nth-of-type(odd) {
      background-color:#fff;
}

table {
  width: 100%;
  border-collapse: collapse;
}

code {
    font-family: monospace;
    color: teal;
    font-size: 14px;
}
summary {
  padding-top:1em;
  font: 16pt "Arial", Helvetica;
  margin-bottom: 0.25em;
  color: #8c1515;
}

.smallsum {
  padding-top:1em;
  font: 12pt "Arial", Helvetica;
  margin-bottom: 0.25em;
  color: #8c1515;
}
.gridform {
    display: grid;
    grid-template-columns: 200px 1fr;
    grid-gap: 5px;
}
.gridform label {
    grid-column: 1 / 2;
}
.gridform input,
.gridform button {
    grid-column: 2 / 3;
}