.LargeList { padding-left: 1em; }
.LargeList > li { margin-top: 1em; margin-bottom: 1em; }

.CentreBlock
{ max-width: 68em;
  margin-left: auto;
  margin-right: auto;
}

body { background-color: ivory; font-size: 18px; }
h1 { text-align: center; font-size: 44px; }
p { text-align: justify; }

.main
{ max-width: 68em;
  margin-left: auto;
  margin-right: auto;
}

.lexical { background-color: white; color: darkblue; }

code, code > span, code > div
{ font-size: 14px;
  background-color: black;
  color: white;
  padding-bottom: 0.1em;
}

.output, .output > div { background-color: black; color: pink; }
.sbt { background-color: black; color: lightgreen; }
.DirPath { background-color: black; color: lightblue; }

.FilePath
{ background-color: white;
  color: darkblue;
  white-space: nowrap;
}

code { margin-top: 0.25rem; margin-bottom: 0.25rem; }
.BashPrompt { background-color: black; color: pink; }
.PsqlPrompt { background-color: black; color: lightgreen; }

.ScalaLines
{ background-color: black;
  color: white;
  white-space: nowrap;
}

.scala
{ background-color: white;
  color: darkred;
  white-space: nowrap;
  font-weight: bold;
}

td th { padding-right: 2em; text-align: left; }
h1, h2, h3, h4, h5, h2 { margin-top: 0.67em; margin-bottom: 0.67em; }

@media (min-width: 50em)
{
  #topmenu li
  { display: inline-block;
    background-color: #DDDDDDFF;
    padding: 0.2em;
    border: solid yellow;
  }

  #topmenu { text-align: center; max-width: 100em; }
  #bottommenu { display: none; }
}