body {
  padding-top: 60px;
  padding-bottom: 20px;
}

.form-control:focus {
  border-color: #5388ac;
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 1px rgba(83, 136, 172, 0.6);
}


.no-highlight-link {
  color: #222;
}


#navbar-logo {
  height: 100%;
}

#cc-logo {
  height: 1.2em;
}


.jumbotron {
  box-shadow: 0 0 2px #888888;
}


.substitution-list-entry {
  margin-top: .6em;
  padding: .7em;
  font-size: .85em;
  background-color: #EEE;
  border-radius: 2px;
  box-shadow: 0 0 2px #888888;
}

.substitution-list-entry:hover {
  box-shadow: 0 0 4px #888888;
}

.substitution-list-entry-img {
  height: 110px;
}

.substitution-list-entry-title {
  display: block;
  font-size: 1.2em;
}

.substitution-list-entry-properties {
  display: none
}

.substitution-list-entry-keywords {
  color: #777;
}


.property-list {
  padding: 0;
  line-height: 2.2em;
}

.property-list-entry {
  display: inline;
  margin: .1em;
}

.property-badge {
  padding: .2em .4em;
  background-color: #EEE;
  border-radius: 2px;
  box-shadow: 0 0 2px #888888;
  white-space: nowrap;
}

.property-badge:hover {
  box-shadow: 0 0 4px #888888;
}

.person-list {
  margin: 0;
  padding: 0;
  list-style-type: none;
}

.person-list-entry {
  display: block;
  margin: .3em;
  padding: .1em .4em;
  background-color: #EEE;
  border-radius: 2px;
  box-shadow: 0 0 2px #888888;
}

.person-list-entry:hover {
  box-shadow: 0 0 4px #888888;
}

.glossary-list {
  margin-top: 2em;
}

.glossary-entry{
  margin: .3em 0;
  padding: .1em .4em;
  background-color: #EEE;
  border-radius: 2px;
  box-shadow: 0 0 2px #888888;
}

.glossary-entry:hover {
  box-shadow: 0 0 4px #888888;
}

.glossary-entry-title {
  display: block;
  font-size: 1.2em;
}

.glossary-entry-content {
  padding-top: 1em;
}