/*
 * A stylesheet for the Distributed Systems Lab.
 *
 * Copyright (C) Konrad Iwanicki, 2013-2014.
 */
body
{
  font-family: Helvetica, sans;
  background-color: #f0f0f0;
  font-size: 12pt;
  color: black;
  text-decoration: none;
  font-weight: normal;
}
div.main {
  width: 19cm;
  font-size: 12pt;
  text-align: justify;
  margin-left: auto;
  margin-right: auto;
  margin-top: 20pt;
  background-color: white;
  padding: 20pt;
}
div.header {
  text-align: center;
}
h1
{
  font-size: xx-large;
  text-decoration: none;
  font-weight: bold;
  text-align: center;
}
h2
{
  font-size: x-large;
  text-decoration: none;
  font-weight: bold;
  text-align: center;
}
h3
{
  font-size: x-small;
  text-decoration: none;
  font-weight: bold;
  text-align: center;
}
h4
{
  font-size: x-large;
  text-decoration: none;
  font-weight: bold;
  text-align: left;
  border-bottom: 1px solid #808080;
}
h5
{
  font-size: large;
  text-decoration: none;
  font-weight: bold;
  text-align: left;
}
table
{
  border-width: 1px;
  border-spacing: 0px;
  border-style: solid;
  border-color: #808080;
  border-collapse: collapse;
  font-size: 12pt;
  color: black;
  text-decoration: none;
  font-weight: normal;
  background-color: white;
}
td
{
  border-width: 1px;
  border-style: solid;
  border-color: #808080;
  padding: 3pt;
  background-color: white;
}
th
{
  border-width: 1px;
  border-style: solid;
  border-color: #808080;
  padding: 3pt;
  font-weight: bold;
  background-color: #f0f0f0;
}
table.toc {
  background-color: #f0f0f0;
  border-width: 1px;
  border-spacing: 2px;
  border-style: solid;
  border-color: black;
  border-collapse: separate;
  font-size: 12pt;
  color: black;
  text-decoration: none;
  font-weight: normal;
}
td.toc
{
  background-color: #f0f0f0;
  padding: 0pt;
  border: none;
}
th.toc
{
  background-color: #f0f0f0;
  padding: 0pt;
  border: none;
  font-weight: bold;
}
table.footer {
  background-color: #ffffff;
  border: none;
  font-size: x-small;
  color: black;
  text-decoration: none;
  font-weight: normal;
}
td.footer
{
  border: none;
}
tr.footer
{
  border: none;
}
tt
{
  font-size: 11pt;
  color: #3c3c3c;
}
pre
{
  border-width: 1px;
  border-color: #808080;
  border-style: solid;
  padding-left: 10pt;
  padding-right: 10pt;
  padding-top: 10pt;
  padding-bottom: 10pt;
  color: #3c3c3c;
  font-size: 11pt;
}
a:link {
  color: blue;
  text-decoration: none;
  font-weight: normal;
}
a:visited {
  color: blue;
  text-decoration: none;
  font-weight: normal;
}
a:hover {
  text-decoration: underline;
  font-weight: normal;
}