body {
  font-family: Times, "Times New Roman", serif;
}

.pure-g {
  display: flex;
  flex-wrap: wrap;
}

.pure-g * {
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
}

#bd {
  background: url(blue_stripe.png) repeat-y right top;
}

h1, h2, h3 {
  font-family: sans-serif;
  font-weight: bold;
}

h1 {
  font-size: 197%;
  color: blue;
  padding-top: 2ex;
  padding-bottom: 1ex;
  margin-top: 0ex;
}

h2 {
  font-size: 123.1%;
  padding-top: 2ex;
  padding-bottom: 1ex;
}

h3 {
  font-style: oblique;
  padding-top: 1ex;
  padding-bottom: 0.5ex;
  font-size: 108%;
}

p {
  margin-bottom: 1ex;
  line-height: 17px;
}

.pure-g p {
  line-height: 1.4em;
}

p.whatbrowser {
  font-family: sans-serif;
  font-size: xx-small;
  margin-top: 2ex;
}

em {
  font-style: oblique;
}

pre {
		margin: 10px 30px 10px 30px;
}

pre.shell {
	margin-left: 2em;
  margin-right: 2em;
}

ul {
  padding-left: 2em;
  padding-bottom: 1ex;
}

ul li {
  list-style-type: disc;
  list-style-position: outside;
  margin-bottom: 8px;
}

ol {
  padding-left: 19px;
}

ol li {
  list-style-type: decimal;
  list-style-position: outside;
  margin-bottom: 8px;
}

ol li ol {
  margin-top: 1ex;
  margin-bottom: 1ex;
}

ol li ol li {
  list-style-type: lower-roman;
  margin-left: 1em;
  margin-bottom: 0;
}

.pure-g .content-inner {
  margin-left: 1em;
  margin-right: 1em;
}

.sidebar {
  padding-top: 5ex;
  font-family: Arial, sans-serif;
}
.pure-g .sidebar {
  background-color: #5151fb;
  display: flex;
  flex-direction: column;
}

ul.menu {
  padding-left: 3em;
  padding-right: 1em;
  color: yellow;
}

ul.menu a,
a.menu {
  color: yellow;
}

ul.menu li {
  list-style-image: url(my_icons/yellowball.png);
  list-style-type: circle;
  margin-bottom: 2ex;
}

.pure-g ul.menu li {
  line-height: 1.4em;
}

ul.menu li:hover a {
  background-color: yellow;
}

ul.menu li:hover a {
  color: blue;
}

ul.menu > li.empty,
li.empty {
  list-style-image: none;
  list-style-type: none;
  margin-bottom: 2ex;
}

ul.toc li ul {
  margin-top: 1ex;
}

table {
  border-style: none;
  margin-bottom: 3ex;
}

td, th {
  padding: 1ex;
}

table.subpage {
  border-style: none;
}

table.bottomline {
  border-bottom-width: thin;
  border-bottom-style: solid;
  border-top-width: thin;
  border-top-style: solid;
}

table.download {
  border-color: black;
  border-style: solid;
  border-width: 1pt;
  margin-top: 1ex;
}

caption.download {
  border-color: black;
  border-style: solid;
  border-width: 1pt;
  margin: 1ex;
  text-align: center;
  font-family: sans-serif;
}

tr.downloadheader {
  border-color: black;
  border-style: solid;
  border-width: thin;
  background-color: blue;
  color: white;
  font-weight: bold;
  font-family: sans-serif;
}

tr.downloadrow {
  border-style: none;
  border-top-style: solid;
  border-top-width: thin;
}

p.quote {
  margin-left: 5%;
  margin-right: 5%;
  font-style: oblique;
}


/* eiffel code */

span.class {
  color: blue
}


/* condolence */

div.condolence {
  border: 3pt solid black;
  padding: 2em;
}

blockquote {
  margin: 1ex 1em 1ex 1em;
  font-style: oblique;
}

@media print {
  .sidebar { display: none }
}


/* willem de doper */

.samenvatting {
  font-style: oblique;
  margin-left: 1em;
  margin-right: 1em;
}

.navigation {
  border-top: 1px solid #5151fb;
  border-bottom: 1px solid #5151fb;
  padding-top: 3px;
  padding-bottom: 3px;
  height: 16px;
}

.navigation a {
  text-decoration: none;
}

.navigation a:hover {
  text-decoration: underline;
}

.navigation .next {
  display: block;
  float: right;
}


@media (min-width: 1024px) {
  .pure-g .content-inner {
    width: 40em;
    margin-left: auto;
    margin-right: auto;
  }
}