body {
    text-align: justify;    
}

h1 {
    line-height: 110%;    
}

.hlist {
    border: 1px solid navy;
    padding:5px;
    background-color: #F4FFFF; 
}

.hlist li {
    display: inline;
    display: inline-table;
    list-style-type: none;
    padding-right: 20px;
    
}

.entity {
    border: 1px solid navy;
    margin:5px 0px 5px 0px;
    padding: 5px;    
}

.type-c {
    cursor:help;
    color:orange;
}

.type-op {
    cursor:help;
    color:navy;    
}

.type-dp {
    cursor:help;
    color:green;    
}

.type-ap {
    cursor:help;
    color:maroon;    
}

.type-ni {
    cursor:help;
    color:brown;    
}

.logic {
    color:purple;
    font-weight:bold;    
}

h3 {
    margin-top: 3px;
    padding-bottom: 5px;
	border-bottom: 1px solid navy;
}

h2 {
    margin-top:40px;    
}

.dotted {
    border-bottom: 1px dotted gray;
}

dt {
    margin-top:5px;
}

.description {
    border-top: 1px dashed gray;
    border-bottom: 1px dashed gray;
    background-color: rgb(242, 243, 244);
    margin-top:5px;
    padding-bottom:5px;
}

.description dl {
    background-color: rgb(242, 243, 244);
}

.description ul {
    padding-left: 12px;
    margin-top: 0px;
}

.backlink {
    font-size:10pt;
    text-align:right;
    float:right;
    color:black;
    padding: 2px;
    border: 1px dotted navy;
    background-color: #F4FFFF;
}

.imageblock {
	text-align: center;
}

.imageblock img {
	border:1px solid gray;
}

.endnote {
	margin-top: 40px;
	border-top: 1px solid gray;
	padding-top: 10px;
	text-align: center;
	color:gray;
	font-size:70%;
}

.literal {
    color:green;
    font-style:italic;
}

.RFC2119 {
  text-transform: lowercase;
  font-style: italic;
}
.nonterminal {
    font-weight: bold;
    font-family: sans-serif;
    font-size: 95%;
}
#abstract br {
   /* doesn't work right SOMETIMES 
   margin-bottom: 1em;   */
}
.name {
    font-family: monospace;
}
.buttonpanel {
    margin-top: 1ex;
    margin-bottom: 1ex;
    padding-left: 1ex;
    padding-right: 1ex;
    padding-top: 1ex;
    padding-bottom: 0.6ex;
    border: 1px dotted black; 
}
.grammar {
    margin-top: 1ex;
    margin-bottom: 1ex;
    padding-left: 1ex;
    padding-right: 1ex;
    padding-top: 1ex;
    padding-bottom: 0.6ex;
    border: 1px dashed #2f6fab;
    font-family: monospace;
}
.image {
    text-align: center;
}
.centered {
    text-align: center;
    padding-top: 4ex;
    padding-bottom: 4ex;
}
.centered table {
    margin: 0 auto;
    text-align: left;
}
.caption {
    font-weight: bold;
}
.indent {
    margin-left: 20px;
}
.atrisknote {
    padding: 5px;
    margin-top: 10px;
    margin-bottom: 10px;
    border: solid 2px blue;
    background-color: #FFA;
}
.atrisknotehead {
    font-style: italic;	
}

/* Stying the examples. */

.anexample:before {
    content: "Example:";
    font-family: sans-serif;
    font-size: 1.6ex;
    font-weight: bold;
}
.anexample {
    margin-top: 1ex;
    margin-bottom: 1ex;
    padding-left: 1ex;
    padding-right: 1ex;
    padding-top: 1ex;
    padding-bottom: 0.6ex;
    border: 1px dashed #2f6fab;
    background-color: #f9f9f9;
}
.anexample table {
    background-color: #f9f9f9;
}

/* Styling the parts in the functional-style syntax. */

div.fss {
    margin-top: 10px; 
    margin-bottom: 10px; 
    margin-left: 20px; 
    margin-right: 20px; 
    font-family: monospace;
}
/*
table.fss {
    margin: 0px 0px 0px 0px; 
    padding: 0px 0px 0px 0px; 
    width: 100%;
}
table.fss caption.fss {
    font-size: 1.5ex;
    font-weight: bold;
    text-align: left;
    padding-left: 10px;
}
table.fss td:first-child {
    font-family: monospace;
    padding-left: 20px;
    padding-right: 20px;
    width: 60%;
}
table{
    background-color: #f4ffff;
    border: 1px solid navy;
    margin: 20px;
    vertical-align: middle;
}
table td {
    padding: 5px 15px;
    text-align: left;
} */

/* Styling the parts in the RDF syntax. */

div.rdf{
    margin-top: 10px; 
    margin-bottom: 10px; 
    margin-left: 20px; 
    margin-right: 20px; 
    font-family: monospace;
}
table.rdf {
    margin: 0px 0px 0px 0px; 
    padding: 0px 0px 0px 0px; 
    width: 100%;
}
table.rdf caption.rdf {
    font-size: 1.5ex;
    font-weight: bold;
    text-align: left;
    padding-left: 10px;
}
table.rdf td:first-child {
    font-family: monospace;
    padding-left: 20px;
    padding-right: 20px;
    width: 60%;
}

/* Styling the XML syntax. */

div.xmlsyn {
    margin-top: 10px; 
    margin-bottom: 10px; 
    margin-left: 20px; 
    margin-right: 20px; 
    font-family: monospace;
}
div.axioms {
    margin-top: 10px; 
    margin-bottom: 10px; 
    margin-left: 20px; 
    margin-right: 20px; 
}

/* Other styles. */

table.complexity td {
    text-align: center;
}
table.allname td {
   font-family: monospace;
}
table.canonicalparsing {
    margin-left: 20px;
    border-style: none;
}
table.canonicalparsing td {
    vertical-align: top;
    padding: 2px 2px 2px 2px;
}
table.canonicalparsing td.two {
    padding-left: 30px;
}

/* name space  */
table.nspace {
    empty-cells: show;
    border-collapse: collapse;
    margin-bottom: .5ex;
    border: 1px solid black;
    width: 95%;
}

table.nspace th {
    padding: 3px;
    border: 1px solid #404040;
    text-align: center;
    font-weight: bold;
    font-family: sans-serif;
}
    
table.nspace td {
    padding: 5px;
    border: 1px solid #404040;
    text-align: left;
    font-family: sans-serif;
}

/* The following are classes for templates used in the editing process. */

.review {
    padding: 5px;
    border: solid 1px black;
    margin-left: 10%;
    margin-top: 10px;
    margin-bottom: 10px;
    background-color: #FFA;
    font-size: smaller;
}
.reviewauthor {
    font-size: smaller;
    font-style: italic;
}
.ednote {
    padding: 5px;
    border: solid 1px black;
    margin-top: 10px;
    margin-bottom: 10px;
}
.ednotehead {
   font-weight: bold;
}

/* override mediawiki's beautiful DL styling... */
dl {
    background: white;
    width: 100%;
    border: none;
    margin-top: 0;
    margin-bottom: 0;
    padding-top: 0;
    padding-bottom: 0;
}

div {
    margin-top: 0;
    margin-bottom: 0;
}
#fulltitle {
  font-size: 140%; 
  font-weight: bold;
}

.xml {
 color: red
}

.rdbms{
color: red
}

/* just copying from wiki, so it stays through TR. Currently
  affects Primer, at least */
pre {
  background-color:#F9F9F9;
  border:1px dashed #2F6FAB;
  color:black;
  line-height:1.1em;
  padding:1em;
}


/* define a class "noprint" for sections which don't get printed */  
.noprint { display: none; }

/* our syntax menu for switching */
div.syntaxmenu {
  border: 1px dotted black;
  padding:0.5em;
  margin: 1em; 
}

.container {
    margin-right: auto;
    margin-left: auto;
    padding-left: 15px;
    padding-right: 15px;
}

@media print {
   div.syntaxmenu { display:none; }
}

/* use tab-like headers for syntax examples */
div.exampleheader {
  font-size: 90%;
  float: left;
  background: #F9F9F9;
  color: #2F6FAB;
  border: 1px dashed #2F6FAB;
  border-bottom: 0px;
  padding-top: 2px;
}

div.exampleheader span.exampleheader {
  background: #F9F9F9;
  padding-top: 0px;
  padding-right: 10px;
  padding-left: 10px;
  padding-bottom: 3px;
  padding-top: 0px;
}

/* Also copy MediaWiki style here, so it will not look different when exported */
div.fssyntax pre, div.rdfxml pre, div.owlxml pre, div.turtle pre, div.manchester pre  {
  background-color: #F9F9F9;
  border: 1px dashed #2F6FAB;
  color: black;
  line-height: 1.1em;
  padding: 1em;
  clear: both;
  margin-left: 0em;
}
/* Expansion to add the status*/
.status {
    position: fixed;
    left: 0em;
    top: 0em;
    text-align: right;
    vertical-align: middle;
    /* Square version of the inside span. Slightly larger */
    width: 26em;
    height: 26em;
    z-index: -1;
    opacity: 0.8;
    
    /** From http://stackoverflow.com/questions/1080792/how-to-draw-vertical-text-with-css-cross-browser */

    -webkit-transform: rotate(-90deg);
    -moz-transform: rotate(-90deg);
    -ms-transform: rotate(-90deg);
    -o-transform: rotate(-90deg);
    transform: rotate(-90deg);
    /* also accepts left, right, top, bottom coordinates; not
    * required, but a good idea for styling */
    -webkit-transform-origin: 50% 50%;
    -moz-transform-origin: 50% 50%;
    -ms-transform-origin: 50% 50%;
    -o-transform-origin: 50% 50%;
    transform-origin: 50% 50%;

    /* Should be unset in IE9+ I think. */
    filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=3);
}

/* The actual status box */
 .status div {   
    display: block;
    background: rgb(0, 90, 156);
    color: white;
    width: 24em;
    padding-top: 0.3em;
    padding-left: 0em;
    padding-right: 5em;
    padding-bottom: 0.3em;
    /* Enable for debugging 
    border: red thin solid;
     */
} 

/* And text inside, don't confuse fonts as it breaks em above */
.status div span {
    font-family: "Tauri";
    font-size: larger;
}


/* Style for a "Recommendation" */

/*
   Copyright 1997-2003 W3C (MIT, ERCIM, Keio). All Rights Reserved.
   The following software licensing rules apply:
   http://www.w3.org/Consortium/Legal/copyright-software */

/* $Id: base.css,v 1.25 2006/04/18 08:42:53 bbos Exp $ */

body {
  padding: 2em 1em 2em 70px;
  margin: 0;
  font-family: sans-serif;
  color: black;
  background: white;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
  counter-reset:section;
}
:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
a:active { color: #C00; background: transparent }

a:link img, a:visited img { border-style: none } /* no border on img links */

a img { color: white; }        /* trick to hide the border in Netscape 4 */
@media all {                   /* hide the next rule from Netscape 4 */
  a img { color: inherit; }    /* undo the color change above */
}

th, td { /* ns 4 */
  font-family: sans-serif;
}

h1, h2, h3, h4, h5, h6 { text-align: left }
h2.list{counter-reset:subsection }
h2.list:before{counter-increment:section;content: counter(section) ". ";}
h3.list:before{counter-increment:subsection;content: counter(section) "." counter(subsection) ". ";
	}
h3.list{margin-top: 20px;
	border-bottom: 0px; }
/* background should be transparent, but WebTV has a bug */
h1, h2, h3 { color: #005A9C; background: white }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }

.hide { display: none }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }

p.copyright { font-size: small }
p.copyright small { font-size: small }

@media screen {  /* hide from IE3 */
a[href]:hover { background: #ffa }
}

pre { margin-left: 2em }
/*
p {
  margin-top: 0.6em;
  margin-bottom: 0.6em;
}
*/
dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt { font-weight: bold }

pre, code { font-family: monospace } /* navigator 4 requires this */

ul.toc, ol.toc {
  list-style: disc;		/* Mac NS has problem with 'none' */
  list-style: none;
}

@media aural {  
  h1, h2, h3 { stress: 20; richness: 90 }
  .hide { speak: none }
  p.copyright { volume: x-soft; speech-rate: x-fast }
  dt { pause-before: 20% }
  pre { speak-punctuation: code } 
}



/**/
.prettyprint {
    /*display: block;
    color: #393318;*/
    
    background: #f4f4f4;
    border: 1px solid #ddd;
    border-left: 3px solid #f36d33;
    color: #666;
    page-break-inside: avoid;
    font-family: monospace;
    font-size: 15px;
    line-height: 1.6;
    margin-bottom: 1.6em;
    max-width: 100%;
    overflow: auto;
    padding: 1em 1.5em;
    display: block;
    word-wrap: break-word;
}