h1 {
  color:#ffffff;
  background-color:#990000;
  text-align:center;
  border-radius:10px;
  padding:5px;
}
/* Navbar stuff was based on https://www.w3schools.com/Css/css_navbar.asp */
ul.navbar {
  list-style-type:none; /* no bullets */
  /*margin:0;*/
  padding:0;
  /* text-align:center; centered */
  border-bottom:1px solid #990000;
  white-space:nowrap; /* prevent wrapping to next line */
}
ul.navbar li {
  display:inline-block; /* horizontally arranged */
  padding:0; /* space between buttons */
}
ul.navbar a {
  color:#990000;
  background-color:#ffffff;
  border-radius:3px; /* roundness of buttons */
  padding:5px; /* space around text in buttons */
  text-decoration:none; /* no underline */
  border:1px solid #990000;
}
ul.navbar a.active {
  color:#ffffff;
  background-color:#990000;
}
table.popular {
  border:none;
  width:100%;
}
table.query {
  border:none;
  width:100%;
}
table.debate {
  border:none;
  width:100%;
}
table.answers {
  border:none;
  width:100%;
}
table.positions {
  border:none;
  width:100%;
}
table.attacks {
  border:none;
  width:100%;
}
table.defenses {
  border:none;
  width:100%;
}
table.windowgroup-bordered {
  border:1px solid black;
  width:100%;
}
table.windowgroup-unbordered {
  border:none;
  width:100%;
}
div.sselector-bordered {
  border:2px solid #990000;
  padding-top:3px;
  padding-bottom:3px;
  padding-left:3px;
  padding-right:3px;
}
div.sselector-unbordered {
  border:none;
  padding-top:3px;
  padding-bottom:3px;
  padding-left:3px;
  padding-right:3px;
}
table.slist {
  border-collapse:collapse; /* also seems to apply to row colors */
  width:100%;
}
/* alternate row colors https://www.w3schools.com/html/html_table_styling.asp */
tr.slist-colored:nth-child(odd) {
  background-color:#EEEEFF;
}
tr.slist-colored:nth-child(even) {
  background-color:#FFFFEE;
}
td.id {
  vertical-align:top;
}
/* makes the statement take available horizontal space at expense of ID */
td.statement {
  width:100%;
}
/* prevents column 2 of popular statements table from wrapping */
td.popular-label {
  white-space:nowrap;
}
/* makes column 3 of popular statements table take available horizontal space at expense of column 2 */
td.popular-result {
  width:100%;
}
td.position-label {
  vertical-align:top;
}
/* makes column 3 of Positions table take available horizontal space at expense of column 2 */
td.position {
  width:100%;
}
span.possible {
  background:rgba(0,255,0,.2);
}
span.impossible {
  background:rgba(255,0,0,.2);
}
span.uncertain {
  background:rgba(255,255,0,.2);
}
span.accepted {
  background:rgba(0,255,0,.2);
}
span.rejected {
  background:rgba(0,0,0,.2);
}
span.error {
  background:rgba(255,0,0,.2);
}
span.warning {
  background:rgba(255,255,0,.2);
}
span.ok {
}
span.revealed {
  background:rgba(255,255,0,.2);
}
span.hidden {
}
/* buttons that switch to other parts of the interface */
button.switch {
}
/* right justify the buttons that are next to the statements */
button.statement {
  float:right;
}
/* https://stackoverflow.com/questions/11064237/prevent-iphone-from-zooming-form */
input {
  font-size:16px;
}
textarea.addtext {
  width:100%;
  font-size:16px;
}
div.buttonrow {
  text-align:center;
}