/*
 * A stylesheet for the Concurrent Programming Assignment.
 *
 * Copyright (C) Konrad Iwanicki, 2020.
 */
body
{
  font-family: Arial, sans;
  background-color: #f0f0f0;
  font-size: 11pt;
  color: black;
  text-decoration: none;
  font-weight: normal;
}
div.main {
  width: 19cm;
  font-size: 11pt;
  text-align: justify;
  margin-left: auto;
  margin-right: auto;
  margin-top: 20pt;
  background-color: white;
  padding: 20pt;
}
h1
{
  font-size: xx-large;
  text-decoration: none;
  font-weight: bold;
  text-align: left;
  border-bottom: 1px solid #808080;
}
h2
{
  font-size: x-large;
  text-decoration: none;
  font-weight: bold;
  text-align: left;
}
h3
{
  font-size: large;
  text-decoration: none;
  font-weight: bold;
  text-align: left;
}
h4
{
  font-size: medium;
  text-decoration: none;
  font-weight: bold;
  text-align: left;
}
h5
{
  font-size: xx-large;
  text-decoration: none;
  font-weight: bold;
  text-align: center;
}
h6
{
  font-size: x-large;
  text-decoration: none;
  font-weight: bold;
  text-align: center;
}
table
{
  border-width: 1px;
  border-spacing: 0px;
  border-style: solid;
  border-color: #808080;
  border-collapse: collapse;
  font-family: Times, serif;
  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;
}

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;
}
div.sourceCode { overflow-x: auto; }
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
  margin: 0; padding: 0; vertical-align: baseline; border: none; }
table.sourceCode { width: 100%; line-height: 100%; }
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; background-color: #dddddd; }
td.sourceCode { padding-left: 5px; }
code > span.kw { font-weight: bold; } /* Keyword */
code > span.dt { color: #404040; } /* DataType */
code > span.dv { color: #0000ff; } /* DecVal */
code > span.bn { color: #0000ff; } /* BaseN */
code > span.fl { color: #800080; } /* Float */
code > span.ch { color: #ff00ff; } /* Char */
code > span.st { color: #dd0000; } /* String */
code > span.co { color: #808080; font-style: italic; } /* Comment */
code > span.al { color: #00ff00; font-weight: bold; } /* Alert */
code > span.fu { } /* Function */
code > span.er { color: #ff0000; font-weight: bold; } /* Error */
code > span.wa { color: #ff0000; font-weight: bold; } /* Warning */
code > span.cn { color: #000000; } /* Constant */
code > span.sc { color: #ff00ff; } /* SpecialChar */
code > span.vs { color: #dd0000; } /* VerbatimString */
code > span.ss { color: #dd0000; } /* SpecialString */
code > span.im { } /* Import */
code > span.va { } /* Variable */
code > span.cf { } /* ControlFlow */
code > span.op { } /* Operator */
code > span.bu { } /* BuiltIn */
code > span.ex { } /* Extension */
code > span.pp { font-weight: bold; } /* Preprocessor */
code > span.at { } /* Attribute */
code > span.do { color: #808080; font-style: italic; } /* Documentation */
code > span.an { color: #808080; font-weight: bold; font-style: italic; } /* Annotation */
code > span.cv { color: #808080; font-weight: bold; font-style: italic; } /* CommentVar */
code > span.in { color: #808080; font-weight: bold; font-style: italic; } /* Information */