html {
    font-size: 16pt;
}

dl.toc             { margin-top: 0;
                     margin-bottom: 0
}

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

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

dd {
    padding-bottom: 1rem;
}

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

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

.figure {
    border: solid 1pt #808080;
    padding-top: 1em;
    padding-bottom: 1em;
}

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

.rfc2119 {
    font-weight: bold;
}

.admonition {
    margin-left: 40px;
    margin-right: 40px;
    border: solid 1px #AAAAAA;
    border-top-left-radius: 5px;
    border-bottom-left-radius: 5px;
}

.admonition h3 {
    margin: 0px;
    padding-top: 1.5ex;
    padding-left: 1ex;
    padding-right: 1ex;
    border-top-left-radius: 5px;
}

.admonition-body { 
    padding-left: 1ex;
    padding-right: 1ex;
}

.editorial {
    background-color: #FAFAAA;
}

.editorial h3 {
    background-color: #FFC000;
    padding-top: 0.5ex;
    padding-bottom: 0.5ex;
}

.element-syntax                    { padding: 4px; }
.element-syntax-declare-step       { border: solid thin;  background-color: #ffeeff }
.element-syntax-declare-step-opt   { border: solid thin; background-color: #ffeeff }
.element-syntax-declare-step-opt   { border: solid thin; background-color: #ffeeff }
.element-syntax-error-vocabulary   { border: solid thin;  background-color: #ffffee }
.element-syntax-language-construct { border: solid thin;  background-color: #ffeeff }
.element-syntax-language-example   { border: solid thin;  background-color: #ffeeff }
.element-syntax-other-step         { border: solid thin;  background-color: #ffeeff }
.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 }

sup.xrefspec {
   font-size: 70%;
   color: #999999;
}

sup.xrefspec a,
sup.xrefspec a:visited {
   color: #999999;
   text-decoration: none;
}

.error {
    background-color: #FF7777;
}

.assert {
}