/* xpath31.css */

/* from xsl:query.xsl (C) */
code           { font-family: monospace; }

div.constraint,
div.issue,
div.note,
div.notice     { margin-left: 2em; }

div.issue
p.title        { margin-left: -2em; }

ol.enumar      { list-style-type: decimal; }
ol.enumla      { list-style-type: lower-alpha; }
ol.enumlr      { list-style-type: lower-roman; }
ol.enumua      { list-style-type: upper-alpha; }
ol.enumur      { list-style-type: upper-roman; }

li p           { margin-top: 0.3em;
                 margin-bottom: 0.3em; }

sup small      { font-style: italic;
                 color: #8F8F8F;
               }

/* from xsl:query.xsl (D) */
div.exampleInner pre { margin-left: 1em;
                       margin-top: 0em; margin-bottom: 0em}

pre.small { font-size: small }
div.exampleOuter {border: 4px double gray;
                  margin: 0em; padding: 0em}
div.exampleInner { background-color: #d5dee3;
                   padding: 4px; margin: 0em }

div.exampleInner table { border: 0;
                         border-spacing: 0;
                       }

div.exampleInner td { vertical-align: baseline;
                      padding: 0;
                    }

div.exampleWrapper { margin: 4px }
div.exampleHeader { font-weight: bold;
                    margin: 4px}

div.proto { border: 0;
            border-spacing: 0;
          }

div.issue { border-bottom-color: black;
            border-bottom-style: solid;
	    border-bottom-width: 1pt;
	    margin-bottom: 20pt;
}

th.issue-toc-head { border-bottom-color: black;
                    border-bottom-style: solid;
                    border-bottom-width: 1pt;
}


/* from xsl-query.xsl (B) */
table.small                             {
                                          font-size: x-small;
                                          border-collapse: collapse;
                                        }
table.small td                          {
                                          border: 1px solid #000000;
                                          padding: 5px;
                                        }
table.small th                          {
                                          border: 1px solid #000000;
                                          padding: 5px;
                                          text-align: center;
                                        }

table.medium                            {
                                          font-size: smaller;
                                          border-collapse: collapse;
                                        }
table.medium td                         {
                                          border: 1px solid #000000;
                                          padding: 5px;
                                        }
table.medium th                         {
                                          border: 1px solid #000000;
                                          padding: 5px;
                                          text-align: center;
                                        }

table.no-code-break code {
  white-space: nowrap;
}

table.longlastcol td {
  vertical-align: baseline;
  text-align: left;
}

a.judgment:visited, a.judgment:link     { font-family: sans-serif;
                              	          color: black;
                              	          text-decoration: none }
a.processing:visited, a.processing:link { color: black;
                              		        text-decoration: none }
a.env:visited, a.env:link               { color: black;
                                          text-decoration: none }