@import url(docbook.css);
@import url(http://www.w3.org/StyleSheets/TR/base.css);

.property          { font-family: monospace;
                   }

.copyright         { font-family: sans-serif;
                   }

dl.toc 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;
		     color: #005A9C;
                   }

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;
		      color: #005A9C;
                    }

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

.revision-inherited {
                    }

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

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

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

/* Refentry pages */

div.refentry        { border: 1px solid #aeaeae;
                      padding-left: 10px;
		      padding-top: 0px;
                      margin-top: 1.5em;
                    }