body {
  font-family:    Georgia, serif;
  text-align:     justify;
  margin-left:    20px;
  margin-right:   60px;
}

td {
  vertical-align: top;
}

p {
  margin-top:     6pt;
  margin-bottom:  0pt;
}

h1 {
  font-size:      140%;
  font-weight:    normal;
  margin-bottom:  0pt;
  margin-top:     18pt;
}

h2 {
  font-size:      120%;
  font-weight:    normal;
  margin-bottom:  0pt;
  margin-top:     18pt;
}

.programlisting {
  font-family:    Courier, monospace;
}

.figure {
  margin-top:     1em;
  margin-bottom:  1em;
  text-align:     center;
}

td.two-column {
  padding-right:  4ex;
}

/**
 * Logos
 */

table.logos {
  width:          100%;
}

td.contest-logo {
  text-align:     left;
  width:          30%;
  vertical-align: middle;
}

td.patron-logos {
  text-align:     right;
  width:          70%;
  padding-right:  0px;
}

img.patron-logo {
  margin-left:    1ex;
  vertical-align: middle;
}

/**
 * Header
 */
table.header {
  width:        100%;
  border-bottom-width:  1px;
  border-bottom-color:  black;
  border-bottom-style:  solid;
  margin-bottom:  15px;
}

td.header-left {
  font-family:  Tahoma, sans-serif;
  font-size:    11pt;
  text-align:   left;
}

td.header-right {
  font-family:  Tahoma, sans-serif;
  font-size:    11pt;
  text-align:   right;
}

.task-title {
  width:        70%;
  font-family:  Tahoma, sans-serif;
  font-size:    20pt;
  font-weight:  bold;
  margin-top:   40px;
  margin-bottom:10px;
  border-bottom-width:  1px;
  border-bottom-color:  black;
  border-bottom-style:  solid;
  text-align:   left;
}

#taskA  .task-title { background-color: #f8f5b9; }
#taskB  .task-title { background-color: #258553; }
#taskC  .task-title { background-color: #a2697e; }
#taskD  .task-title { background-color: #d1c8c6; }
#taskE  .task-title { background-color: #e4272e; }
#taskF  .task-title { background-color: #eab555; }
#taskG  .task-title { background-color: #78c149; }
#taskH  .task-title { background-color: #4e59a7; }
#taskI  .task-title { background-color: #4bb47b; }
#taskJ  .task-title { background-color: #38aec8; }
#taskK  .task-title { background-color: #d89272; }
#taskP .task-title { background-color: #cccccc; }
#taskX .task-title { background-color: #ffffff; }
#taskY .task-title { background-color: #ffffff; }
#taskZ .task-title { background-color: #ffffff; }


.footer {
  border-top-width:   1px;
  border-top-color:   black;
  border-top-style:   solid;
  margin-top:         15px;
  font-family:        Tahoma, sans-serif;
  font-size:          11pt;
  text-align:         left;
}

span.data {
  font-family:        Courier, monospace;
  font-size:          90%;
}

span.envar {
  font-style:         italic;
  font-size:          90%;
}

span.superscript {
  vertical-align:     45%;
  font-size:          60%;
}

span.subscript {
  vertical-align:     sub;
  font-size:          70%;
}