.wikiPreformatted {
  background-color: lightgray;
  font-size: 8pt;
  color: black;
  border: 1px solid gray;
  border-left-width: 3px;
  padding: 2px;
  margin-left: 10px;
  margin-right: 10px;
}

.wikiHeadline1 {
  font-size: 16pt;
  font-weight: bold;
}

.wikiHeadline2 {
  font-size: 14pt;
  font-weight: bold;
}

.wikiHeadline3 {
  font-size: 12pt;
  font-weight: bold;
}

.wikiNotSavedYet {
  color: red;
  background-color: lightgray;
  padding: 10px;
  border: 2px dotted red;
  margin: 10px;
 }

.wikiMarkYellow {
  background-color: yellow;
}