html, body {
  margin: 0;
  padding: 0;
  width: 100%;
  height: 100%;
  font-family: sans-serif;
  font-size: 15px;
}

/*  HEADER
*/
#header {
  padding: 5px;
}
#header input {
  width: 30%;
  height: 30px;
  font-size: 15px;
}
#header #search_button {
  width: 60px;
  height: 32px;
  background: #d0d0d0;
  font-size: 15px;
  border: 0;
  color: #fff;
  border-radius: 3px;
  cursor: pointer;
}

/* CORE
*/
#core {
  display: flex;
  flex-direction: row;
  width: 100%;
  height: 100%;
}

#core > * {
  height: 100%;
  width: 0;
  padding: 10px;
}

#search_results {
  flex-grow: 1;
}

#text {
  flex-grow: 1;
  font-family: serif;
  text-align: justify;
  line-height: 20px;
}

/* SEARCH RESULTS
*/
.result {
  display: flex;
  flex-direction: row;
  align-items: center;
  width: 80%;
  margin: 5px 0px 5px 5px;
  padding: 5px;
  background: #e2e2e2;
  cursor: pointer;
}
.result .resource {
  width: 90%;
}
.result .count {
  width: 10%;
  text-align: center;
}
.result:hover {
  background: rgb(254,242,201);
}
.result .link {
  color: steelblue;
}
.result .link:hover {
  text-decoration: none;
}
.result .description {
  color: #999;
  font-style: italic;
  font-size: 13px;
}

.highlighted {
  background: #e2e2e2;
}
.selected {
  background: rgb(254,242,201);
}
.annotation {
  padding: 1px;
}