dl.toc dt          { font-weight: normal;
                   }

dl.errs dt         { font-weight: normal;
                   }

div.figure-wrapper { text-align: center;
                     margin-left: 0.25in;
                     margin-right: 0.25in;
                   }
div.figure         { border: solid 1pt #808080;
                     padding-top: 1em;
		     padding-bottom: 1em;
                   }

div.figure-wrapper
div.title          { margin-top: 0.5em;
                     font-weight: bold;
                   }

div.informalfigure-wrapper { text-align: center;
                     margin-left: 0.25in;
                     margin-right: 0.25in;
                   }

/*
div.example-wrapper { border: solid #aaaaaa 1pt;
                    }

div.example-wrapper
div.title           { margin-top: 0.5em;
                      font-weight: bold;
		      margin-left: 1ex;
                    }
*/

.rfc2119           { font-weight: bold;
                   }

div.editorial      { margin-left: 40px;
                     margin-right: 40px;
		     border: solid 1px #AAAAAA;
		     padding: 1ex;
		   }

div.admonition     { margin-left: 40px;
                     margin-right: 40px;
		     border: solid 1px #AAAAAA;
		     padding: 1ex;
		   }

div.admon-title    { background-color: #DDDDDD;
                     margin: 0px;
		     padding-top: 0px;
		     padding-bottom: 0px;
		     padding-left: 10px;
		     padding-right: 0px;
                   }

div.editorial 
div.admon-title    { background-color: #FF9999;
                   }

p.element-syntax                    { padding: 4px; }
p.element-syntax-declare-step       { border: dashed thin; background-color: #ffeeff }
p.element-syntax-error-vocabulary   { border: solid thin;  background-color: #ffffee }
p.element-syntax-language-construct { border: solid thin;  background-color: #ffeeff }
p.element-syntax-language-example   { border: solid thin;  background-color: #ffeeff }
p.element-syntax-other-step         { border: solid thin;  background-color: #ffeeff }
p.element-syntax-step-vocabulary    { border: dotted thin; background-color: #ffffee }

div.funcsynopsis {
  background-color: #D5DEE3;
  border-bottom: 4px double #D3D3D3;
  border-top: 4px double #D3D3D3;
  color: black;
  margin-bottom: 4px;
  padding: 4px;
  font-family: monospace;
}

span.funcname {
  font-weight: bold;
}

div.funcsynopsis span.type {
  font-style: italic;
}

span.decl code.type-value { font-weight: bold; }
span.opt-req code.name-value { font-weight: bold; }

span.opt-type { font-size: small; font-style: italic; }
code.comment  { font-style: italic; }

.revision-inherited {
                    }

.revision-deleted   { background-color: #FF9999;
                      text-decoration: line-through;
                    }

.revision-added     { background-color: #FFFF99;
                    }

.revision-changed   { background-color: #99FF99;
                    }

a.difflink {
  text-decoration: none;
}

div.diffpara p a.difflink {
  display: none;
}

div:hover.diffpara p a.difflink,
a:hover.difflink {
  display: inline;
}

.hanging-indent {
  padding-left: 1.25in !important; 
  text-indent: -1.25in;
}

/* Not for us; we don't want h6 to be smallcaps! */
h6 { font: italic 100% sans-serif }