@import url(base.css);
@import url(layout.css);

/******** coloration ********/
h1{
  color: darkblue;
}

h2{
  border-left: 0.9ex solid #4477EE;
  border-top: 0.1ex solid #4477EE;
  border-bottom: 0.3ex solid #4477EE;
}

h3{
  border-top: 1px solid #4477EE;
  border-bottom: 1px solid #4477EE;
}

h4{
  color: #4477EE;
}

div{
  margin-bottom: 3ex;
}

/******** element ********/
#header{
  border-bottom: 1px solid dodgerblue;
}

#outline{
  font-size: 85%;
}

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

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

/******** attribute ********/
.expand{
  width: 100%;
}

.warning{
  color: red;
}

.note{
  border-left: 0.5ex solid #CCCCFF;
  margin-left: 1em;
  padding: 1ex;
}

.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%;
}

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

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

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

.description{
  margin-left: 1em;
}
.segment{
  margin-left: 1em;
}

.monospace{
  font-family: monospace;
}