body {
  color: #333;
  font-size: 14px;
  font-family: sans-serif;
}

h1,
h2 {
  font-weight: normal;
  margin: 10px 0 20px 0;
  text-transform: uppercase;
}

h1 {
  text-align: center;
  font-size: 24px;
  letter-spacing: 2px;
  line-height: 24px;
}

a {
    text-decoration: none;
}

.nav-link {
    padding: .1rem .5rem .1rem .5rem;
}

.navbar-light {
  border-radius: 4px;
  border: 1px solid #d4d4d4;
  background-image: linear-gradient(to bottom,#ffffff,#e8e8e8);
  background-repeat: repeat-x;
  margin: 20px 15px;
  padding: .3rem 1rem;
}

.navbar-light form {
  margin: 8px;
}

.navbar-light .btn {
  margin-top: 0;
}

.navbar-light .navbar-brand {
  color: #409010;
  text-shadow: .5px .5px .5px #808080;
}

tr.info {
  background-color: #d9edf7;
}

pre {
  background-color: #f0f0f0;
  border: 1pt solid gray;
  padding: 6pt;
}

footer {
  font-size: 1.2em;
}

.vspace-one { margin-top: 1em; }
.vspace-two { margin-top: 2em; }
.vspace-three { margin-top: 3em; }
.vspace-four { margin-top: 4em; }
.vspace-five { margin-top: 5em; }

.navigation {
  border-right: 1px solid #ddd;
}

.table-condensed td, .table-condensed th {
  padding:.3rem;
}

/* WG21 specific styles */
span.msg {
  display: block;
  background-color: #EFEFEF;
  border-radius: 3px;
  box-shadow: 0px 0px 2px 1px #a0a0a0;
  padding: 6px;
  margin: 12px 0px;
}

span.msg .note {
  background-color: #E0E0E0;
}

span.msg blockquote {
  padding-left: 15px;
  padding-right: 15px;
  padding-top: 1px;
  padding-bottom: 1px;
}

span.msg .ins, span.msg .ins pre {
  text-decoration: none;
  background-color: #C0F0C0;
}

span.msg ins {
  font-weight: bold;
  text-decoration: none;
  background-color: #A0FFA0;
}

span.msg del, span.msg .del, span.msg .del pre {
  background-color: #FFA0A0;
}

span.msg .del pre {
  background-color: #FFC0C0;
}