@import url(//fonts.googleapis.com/css?family=PT+Serif:400,400i,700,700i);
@import url(//fonts.googleapis.com/css?family=Source+Sans+Pro:400,400i,700,700i);
body {
  margin: 0px;
  font-family: 'Source Sans Pro',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: 223px;
  background-color: rgb(256,256,256);
  height:100px;
}
@media only screen and (min-width: 640px) {
#masthead:before {
  position:absolute;
  top: 27px;
  left: 280px;
  text-align:left;
  display:block;
  font-family: "Source Sans Pro",Helvetica,Arial,sans-serif;
  font-size:12px;
  font-weight: 400;
  padding-right:22px;
  color: black;
  content:"Department of Computer Science";
}
}
@media only screen and (max-width: 640px) {
#masthead:before {
  position:absolute;
  top: 64px;
  left: 17px;
  text-align:left;
  display:block;
  font-family: "Source Sans Pro",Helvetica,Arial,sans-serif;
  font-size:14px;
  font-weight: 400;
  padding-right:22px;
  color: black;
  content:"Department of Computer Science";
}
}
#main {
  margin-top: 0;
  margin-left: min(4em,4%);
  margin-right: min(4em,4%);
  max-width:38em;
}
@media only screen and (min-width: 500px) {
#main {
    margin-left: 2.5em;
    margin-right: 2.5em;
}
}
@media only screen and (min-width: 700px) {
#main {
    margin-left: 4em;
    margin-right: 4em;
}
}
a:link, a:visited, a:hover {
    color: rgb(142,13,24);
}
a:hover, a:active {
    color: rgb(204,0,51);
}
h1 {
  font-family: '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: 'PT Serif',Georgia,serif;
  font-size: 22pt;
  margin-bottom: 0.25em;
  color: black;
  font-weight: 700;
}
h3 {
  font-family: '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;
}
.note {
  border-radius: 1em;
  padding:0em 1em 0em 1em;
  border: solid black 1px;
  background-color: #ffffdd;
}
.warning {
  padding:0em 0.5em 0em 0.5em;
  border: solid #b00 1px;
  background-color: #fbb;
  margin-left: 0.5em;
}
.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;  
}
.itemlist {
    list-style-type:none;
    padding-left:1em;
}
.itemlist-row {
    display:flex;
}
.itemlist-entry2 {
    margin-left: 1px;
}
.itemlist-entry3 {
    margin-left: 15px;
}
.itemlist-entry3a {
    margin-left: 40px;
    text-indent: -32px;
    margin-right:0px;
}

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;
}
 -/* screen reader shows, but not normal browser */
.hidden {
    position:absolute;
    left:-10000px;
    top:auto;
    width:1px;
    height:1px;
    overflow:hidden;
}
/* fieldset with no visible features */
.transparent-fieldset {
    border:none;
    margin:0px;
    padding:0px;
}