/* Document */
body {
  margin: 40px auto 40px 40px;
  max-width: 800px;
  line-height: 1.6;
  padding: 0 1em;
  font-size: 18px;
  font-family: Palatino, 'Palatino Linotype', Georgia, Times, 'Times New Roman', serif;
  color: #555;
}
h1,h2,h3 {
  line-height: 1.2;
}
p {
  margin-top: 1em;
  margin-bottom: 1em;
}
.aside {
  padding: 1em;
  border: 2px solid black;
}
blockquote, .stripe {
  margin-left:  0px;
  padding-left: 40px;
  border-left: 5px solid #005580;
}
div.underlined-row {
  border-bottom: 1px solid LightGrey;
  padding: 2px 0;
}
.wide {
  max-width:2000px;
  width:1000px;
}
li > p {
  display: inline
}
/* Code */
.src, code, pre {
  font-family: Monaco, DejaVuSansMono, monospace;
}
code {
  display: inline;
  font-size: 85%;
}
pre {
  display: block;
  padding-left: 1em;
  font-size: 90%;
  margin-top: 0.5em;
  margin-bottom: 0.5em;

}
h1 > code, h2 > code, h3 > code {
  font-size: 100%
}

/* Links */
a, a:visited, a:link {
  color: #2980b9;
  text-decoration: none;
}
a:hover, a:focus {
  color: #005580;
  text-decoration: underline;
}

.mysvg {
  width: 25%;
  height: auto;
 }
