#footer{
  margin-top: 2em;
  padding-top: 1em;
  text-align: center;
}

h1{
  padding-left: 0.7ex;
  background-color: #DD1100;
  color: white;
}

h2{
  padding-left: 0.4ex;
  border-left: 1ex solid #DD1100;
  border-top: 0.3ex solid #DD1100;
  border-bottom: 1px solid #DD1100;
}

h3{
  color: #DD1100;
  border-bottom: 1px dotted #DD1100;
  background-color: #DDDDDD;
}

h4{
  color: #DD1100;
}

table{
  border-collapse: collapse;
}
th{
  background-color: #FF7788;
  color: white;
}
th, td{
  padding: 0.2ex 1ex;
  border: 1px solid #DD1100;
}
table.skeleton th, table.skeleton td{
  border: none;
}


#feature th, #feature td{
  border: 1px solid darkblue;
  padding: 1ex;
}
#feature th{
  background-color: royalblue;
  color: white;
}
#feature .available{
  color: forestgreen;
  font-weight: bold;
}

#header{
  border-bottom: 1px solid #DD1100;
}

#outline{
  font-size: 85%;
}

#source{
  text-align: center;
  font-weight: bold;
  width: 100%;
}


.expand{
  width: 100%;
}

.warning{
  color: red;
}

.note{
  border-left: 0.5ex solid #FFCCCC;
  margin-left: 1em;
  padding: 1ex;
}
ul.note, ol.note{
  list-style-type: none;
}

.nobr{
  white-space: nowrap;
  overflow: auto;
}

.command{
  padding: 1ex;
  overflow: auto;
  white-space: nowrap;

  color: white;
  background-color: black;
  border: 2px groove black;

  font-family: monospace;
  font-size: 90%;
}

.code{
  font-family: monospace;
}

.filename{
  font-weight: bold;
  font-style: normal;
}

.arg{
  font-weight: bold;
  font-style: normal;
}

.value{
  font-style: normal;
  color: red;
}

.segment{
  margin-left: 2em;
}

.monospace{
  font-family: monospace;
}

.direction{
  margin-top: 1em;
  border-top: 1px solid black;
  width: 100%;
}
.direction th, .direction  td{
  border: none;
}
.direction .left{
  white-space: nowrap;
}
.direction .center{
  text-align: center;
  width: 100%;
}
.direction .right{
  white-space: nowrap;
}

.example{
  padding: 1ex;
  border: 1px solid black;
  background-color: #DDDDDD;
}
.example .filename{
  border-bottom: 1px solid black;
  display: block;
}