/* XSLT */

dd.indent { margin-left: 2em; }
p.element-syntax { border: solid thin; background-color: #ffccff }

div.example { border: solid thin; background-color: #40e0d0; padding: 1em }
span.verb { font: small-caps 100% sans-serif } 
span.error { font: small-caps 100% sans-serif } 
span.definition { font: small-caps 100% sans-serif } 
span.grayed { color: gray }

div.proto        { 
padding: .5em;
border: .5em;
border-left-style: solid;
page-break-inside: avoid;
margin: 1em auto;
border-color: #ff99ff;
background: #ffe6ff;
overflow: auto;
}

p.element-syntax        { 
    padding: .5em;
		border: .5em;
		border-left-style: solid;
		page-break-inside: avoid;
		margin: 1em auto;
		border-color: #ff99ff;
		background: #ffe6ff;
		overflow: auto;
                 }

div.proto        { 
    padding: .5em;
		border: .5em;
		border-left-style: solid;
		page-break-inside: avoid;
		margin: 1em auto;
		border-color: #ff99ff;
		background: #ffe6ff;
		overflow: auto;
                 }

table.proto tr td,
table.record tr td, {
  font-family: monospace;
  padding-right: 0.5em;
}
table.proto tr.arg td:first-child,
table.record tr.arg td:first-child  {
  padding-left: 2em;
}
table.proto tr.name span.name {
  font-weight: bold;
}