.page_title {
  text-align: center;
  font: bold 24pt sans-serif;
  border-bottom: 1px solid black;
  padding-bottom: 6pt;
  margin-left: 10%;
  margin-right: 10%;
  margin-bottom: 15pt;
}
.main {
  width: 100%;
}
.main_container {
  display: flex;
  flex-direction: row;
  width: 100%:
}
.items_pane {
  width: 150pt;
  height: 100%;
  overflow: auto;
  flex-grow: 0;
  margin-right: 12pt;
}
.item {
  font: 12pt sans-serif;
  margin-top: 3pt;
  margin-bottom: 3pt;
  overflow: hidden;
  white-space: nowrap;
  cursor: pointer;
}
.item:focus {
  background-color: #ccc;
  outline: 0;
}

.selected_item {
  font-weight: bold;
}
.contents_pane {
  flex-grow: 1;
}
.title {
  text-align: left;
  font: bold 12pt sans-serif;
  border: 0px;
  background-color: #fff;
}
.changed_marker {
  display: inline;
  font: 14pt sans-serif;
  vertical-align: super;
  color: #400;
}
.content {
  width: 100%;
  height: 180pt;
  overflow: auto;
  border: 10pt;
  border: 1pt solid black;
  font-family: Consolas, "Lucida Console", "Bitstream Vera Sans Mono", monospace;
  margin-top: 12pt;
  margin-bottom: 12pt;
  padding: 6pt;
  box-sizing: border-box;
  background: #eee;
}
.buttons_pane {
  display: flex;
  flex-direction: row;
  width: 100%;
  justify-content: center;
}
.button {
  margin-left: 12pt;
  margin-right: 12pt;
  padding: 3pt;
  border: 1pt solid black;
  border-radius: 3pt;
  background: #eee;
  cursor: pointer;
}