body {
  background-color: #fff;
  padding: 0.1em 5%;
  font-size: 0.8em;
}
#container {
  width: 70em;
  margin: 0 auto;
  padding-top: 0.5em;
  max-width: 100%;
}

#interface {
  color: #7777cf;
  padding: 0.5em;
  font-family: sans-serif;
  font-style: italic;
  font-weight: lighter;
  width: 75%;
  margin: auto;
}
h2 {
  color: #7777cf;
  font-style: normal;
  font-family: sans-serif;
  letter-spacing: 0.05em;
  font-size: 1.52em;
  font-weight: lighter;
  padding: 0.03em 0 0.5em 0.4em;
  margin: 0em;
}
#logo {
  width: 100%;
}
#app-info {
  font-size: 0.8em;
  text-align: right;
  padding: 0.2em 0;
}

nav {
  display: block;
  margin: 0.4 auto 0 auto;
  padding: 0.5em;
  text-align: center;
}
nav a { text-decoration: none }
#tutorial {
  color: #b6b6f0;
  font-size: 1.25em;
  font-family: sans-serif;
  font-weight: normal;
  font-style: normal;
  text-decoration: underline;
}
.pure-button {
  font-family: sans-serif;
  font-size: 120%;
  padding: 0.85em 1.2em;
  background-color: #F3F3F3;
  color: #76A4C6;
}
.pure-button-primary {
  background-color: #68BEE2;
  color: #fff;
}
#load-file-area {
  padding: 0.5em;
  background-color: #FCFAFA;
  color: #76A4C6;
  line-height: 120%;
  font-style: normal;
  font-weight: normal;
}
#load-file-form > input { color: #000 }
#load-file-form {
  margin: 0.5em;
}
label > input {
  position: relative;
  top: 0.3em;
}
label { color: #000 }
#load-file-error {
  color: #E00027;
  margin: 0.5em
}

.sticky-menu {
  background-color: #f9f9f9;
  background: rgba(249, 249, 249, 0.87);
  position: fixed;
  left: 0em;
  top: 0em;
  margin: 0em;
  width: 100%;
  padding: 0;
  text-align: right;
  z-index: 10;
}
.base-wd-search { padding-top: 0.8em; }
.sticky-wd-search {
  position: absolute;
  top: 0.3em;
  left: 0.3em;
  margin-top: 0.15em;
}
#wd-search-input {
  padding: 0.3em 1em;
}

#main-area {
  width: 50em;
  max-width: 100%;
  margin: auto;
}
#text-input, #text-results {
  width: 100%;
  font-family: serif;
  line-height: 1.45;
  text-align: justify;
  padding: 0.5em;
  overflow: auto;
  margin: 0;
}
#text-input {
  font-size: 1.3em;
  border: thin solid #D0D0F2;
  height: 25em;
  background-color: #FCFAFA;
}
#text-results {
  font-size: 1.55em;
  margin-left: -5%;
  padding-bottom: 1.7em;
}
#results-pages {
  padding: 0.5em 2.5em 2em 2.5em;
  background-color: #FBFFF7;
  overflow: hidden;
}
.underline {
  text-decoration: none;
  border-bottom: thin dashed #111;
}
.first-page-start, .page-break {
  background-color: #fff; 
  float: left;
  width:50.5em;
  height: 2em;
  position: relative;
  left: -2.5em;
  margin: 2.5em 0px 1.5em 0px;
}
.first-page-start {
  margin-top: 0px;
  top: -0.5em;
  height: 2em;
}
#results-stats {
  background-color: white;
  text-align: center
}
#results-stats > table {
  margin: auto;
  font-family: sans-serif;
  font-size: 0.8em;
}
#results-stats th {
  padding: 0.4em;
  font-weight: normal;
  text-align: left;
}
#results-stats td {
  padding: 0.4em;
  text-align: center;
}
#results-stats a { /* as window-close*/
  text-decoration: none;
  color: #7b7bbc; 
}
#new-page-count { width: 3em }
.page-number {
  text-align: center;
  font-family: sans-serif;
  font-size: 0.77em;
  padding: 0.7em;
  float: left;
  width: 100%;
}

#sidemenu {
  position: fixed;
  top: 4.5em;
  left: 4em;
  font-family: sans-serif;
  font-size: 1.1em;
}
#paging-toggler, #evaluation-toggler {
  font-size: 0.75em;
  color: #6666c0;
  cursor: pointer;
  margin-right: 0.4em; /* for proper spacing of page links */
}
#paging a { color: #ececff; text-decoration: none }
#paging:hover a { color: #6666c0; }
#paging .current-pg {
  color: #7b7bbc;
  font-weight: bold;
}
#paging:hover .current-pg {
  color: #d46443;
}

.highlight, .hl-phrase {
  background-color: #D2E269;
  font-weight: bold;
}
.hl-phrase {
  border-left: 0.5em solid #D2E269;
  border-right: 0.5em solid #D2E269;
  margin-left: -0.3em;
  margin-right: -0.3em;
  z-index: -1
}
.hl-main {
  background-color: #68D1E2;
  border-left-color: #68D1E2;
  border-right-color: #68D1E2;
  padding: 0.1em;
}

#bottom-bar {
  position: fixed;
  bottom: 0em;
  left: 0em;
  background-color: #F6F6F6;
  background: rgba(249, 249, 249, 0.91);

  line-height: 3em;
  font-size: 1.15em;
  color: #111;
  width: 100%;
  padding: 0 0.5em;
  font-family: sans-serif;
}
#bt-diagram {
  color: #999;
  word-spacing: 0.01em;
}
#bt-info { font-size: 0.85em; }
#bt-diagram > em {
  font-weight: bold;
  font-style: normal;
}

#evaluation-window {
  position: fixed;
  top: 4em;
  left: 30%;
  display: none;

  padding: 0.6em;
  border: medium solid #fcfafa;
  background-color: white;
  color: black;
  border-radius: 0.2em;

  -webkit-transform: translate(0px, 0px);
          transform: translate(0px, 0px);
}
#evaluation-window-close {
  display: inline;
  float: right;
}
#evaluation-window-close, #evaluation-controls > span {
  text-decoration: none;
  color: #7b7bbc; /* as results-stats a */
  font-family: sans-serif;
  font-weight: normal;
  cursor: pointer;
}
#evaluation-score, #evaluation-function {
  font-weight: bold;
  font-family: sans-serif;
}
#evaluation-score-score {
  font-family: sans-serif;
  font-size: 1.8em;
  color: #68bee2;
}
#evaluation-function-spec, #evaluation-function-builtins {
  display: block;
  font-family: monospace;
  resize: none
}
#evaluation-score-chart {
  display: block;
  height: 17em;
  width: 30em;
}
#evaluation-controls {
  text-align: center;
}
#evaluation-controls > span {
  margin: 0.3em 0.5em
}

footer {
  display: block;
  text-align: center;
  padding: 1em
  background-color: #eef;
}
#footer-links {
  text-align: left;
  font-family: sans-serif;
  color: #A7A7E7;
  padding-top: 2em;
}
#footer-links a { color: #A7A7E7; }
#footer-links ul { margin: 0.3em; }

#help {
  width: 130%;
  font-family: sans-serif;
  background-color: #fafafa;
  padding-bottom: 1.1em;
  line-height: 1.25;
  text-align: justify;
  padding: 0.85em;
  padding-bottom: 3em;
}