body {
  background-color: lightgray;
  font-family: "Hosny Amiri", "Amiri", "Times New Roman", "Free Serif", serif;
  display: flex;
  flex-direction: column;
  flex-wrap: nowrap;
  justify-content: center;
  overflow: auto;
  font-size: 16pt;
}
p {
  line-height: 1.2em;
}
a {
  text-decoration-line: none;
}
ul.articles {
  list-style-type: none;
  padding-left: 0px;
  white-space: nowrap;
}
main {
  background-color: white;
  width: 36em;
  margin: auto;
  padding: 0.25em 1.5em;
  border-radius: 1.0em;
}
dt {
  font-weight: bold;
}
h1 {
  font-family: "JostBold", "DejaVu Sans Book", "Nimbus Sans +", sans;
  font-weight: bold;
  text-shadow: 2px 3px 4px #D0D0D0;
}
h1 {
  border-style: solid;
  border-width: 1pt;
  padding: 2pt;
  text-align: center;
  border-radius: 0.2em;
  box-shadow: 2px 3px 4px #D0D0D0;
}
h2 {
  text-decoration: underline;
}
h2, h3, h4, h5, h6, h7 {
  font-family: "RobotoCondensedRegular", "DejaVu Sans Book", "Nimbus Sans +", sans;
  font-weight: bold;
  text-shadow: 2px 3px 4px #D0D0D0;
}
menu {
  background-color: lightgray;
  padding: 2px;
  border-radius: 0.2em;
  text-align: center;
  background: lightgray;
  box-shadow: inset 2px 3px 4px darkgray;
  padding-top: 0.3em;
  padding-bottom: 0.2em;
}
menuitem {
  border-width: 1px;
  border-style: solid;
  border-color: black;
  background-color: white;
  box-shadow: 2px 3px 4px darkgray;
  margin: 0.2em;
  border-radius: 0.2em;
  padding-left: 2.0em;
  padding-right: 2.0em;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  font-family: "RobotoCondensedRegular", "DejaVu Sans Book", "Nimbus Sans +", sans;
}
.pubdate {
  font-family: "DejaVu Mono Sans", monospace;
  font-size: 0.8em;
  border-width: 1px;
  border-style: solid;
  border-color: black;
  padding: 0.5em;
}
.pubtitle {
  font-size: 1.2em;
  border-bottom-color: black;
  border-bottom-style: solid;
  border-bottom-width: 1px;
  padding-right: 2.0em;
}
.pubtags {
  font-family: "RobotoCondensedRegular", "DejaVu Sans Book", "Nimbus Sans +", sans;
  box-shadow: 2px 3px 4px #D0D0D0;
  border-width: 1px;
  border-style: solid;
  border-color: black;
  background-color: white;
  border-radius: 0.2em;
  padding-left: 0.5em;
  padding-right: 0.8em;
}
pre {
  font-family: "DejaVu Sans Mono", monospace;
  font-size: 9pt;
}
table {
  border-spacing: 0px;
  box-shadow: 2px 3px 4px #D0D0D0;
}
td.source-code {
  border-style: solid;
  border-width: 1pt;
  background-color: #0020FF;
  border-color: orange;
  border-spacing: 1pt;
  padding: 2pt;
}
.file-name {
  font-family: "DejaVu Sans Mono", monospace;
  font-size: 9pt;
  color: lightgrey;
  font-weight: bold;
}
.raw-source {
  color: white;
}
.source-code {
  font-family: "DejaVu Sans Mono", monospace;
  font-size: 9pt;
  color: lightgrey;
}