code {
    background-color: #eee;
    font-family: 'Droid Sans Mono', monospace;
}

body>pre.prettyprint, body>section pre {
    background-color: #eee;
    padding: 0 2em 1em 2em;
    margin: 0;
    border: none;
}

object {
    margin: 0 auto;
    display: block;
}

section.toc ol {
    list-style: none;
}

span.shadow-boundary {
    color: Gray;
}

span.event-ancestor, span.first-divergent-boundary {
    color: DarkRed;
}

span.event-ancestor > em {
    background-color: DarkRed;
    color: White;
    font-style: normal;
    border-radius: 1em;
    padding: 0 0.35em;
}

span.lowest-common-boundary {
    color: Green;
}


.fixme {
    display: block;
    padding: 10px 0 0 20px;
    border-left: 5px solid #E05252;
}


.fixme:before {
    content: 'To be addressed';
    float: right;
    display: block;
    padding: 2px 10px;
    background-image: -webkit-linear-gradient(top left, #FFFFFF 0%, #FBE9E9 100%);
    background-image: linear-gradient(to bottom right, #FFFFFF 0%, #FBE9E9 100%);
    font-size: 0.9em;
}

.note {
    color: green;
    font-weight: bold;
    font-style: italic;
    padding-left: 2em;
}

.note:before {
    content: "Note: ";
}

.warning:before {
  content: "WARNING: ";
  font-weight: bold;
}

.warning {
  padding: 10px 10px;
  width: 100%;
  background: #fffaba;
  box-sizing: border-box;
}

dfn {
    font-style: normal;
    font-weight: bold;
    background-color: #f9f9f9;
    padding: 0 2px;
    border: 1px solid #eee;
}

dfn.no-references {
    background-color: #ffefef;
}

dfn:target, a:target {
    background-color: #FFFF91;
}

a[href*=dfn-] {
    border-bottom: 1px dotted #ccc;
}

div.logo>a {
    border-bottom: none;
}

var {
    font-size: 0.8em;
    color: #005A9C;
    font-style: normal;
}

table {
    border: 1px solid #ccc;
}

table code {
    background-color: transparent;
}

td, th {
    padding: 0.5em;
    vertical-align: top;
}

td {
    border-bottom: 1px solid #ddd;
}

tr:last-of-type td {
    border-bottom: none;
}

th {
    text-align: left;
    background-color: #eee;
}

dt {
    font-weight: bold;
}

dd {
    padding-bottom: 7px;
}

div.algorithm {
    padding: 0 0 0 20px;
    border-left: 5px solid #EAF7F9;
}

div.informative:before {
    content: 'Informative';
    float: right;
    display: block;
    padding: 2px 10px;
    background-image: -webkit-linear-gradient(top left, #FFFFFF 0%, #D3EEDF 100%);
    background-image: linear-gradient(to bottom right, #FFFFFF 0%, #D3EEDF 100%);
    font-size: 0.9em;
}

div.informative {
    padding: 10px 0 0 20px;
    border-left: 5px solid #D3EEDF;
}

div.monkeypatch:before {
    content: 'Monkeypatch';
    float: right;
    display: block;
    padding: 2px 10px;
    background-image: -webkit-linear-gradient(top left, #FFFFFF 0%, #D3EEDF 100%);
    background-image: linear-gradient(to bottom right, #FFFFFF 0%, #D3EEDF 100%);
    font-size: 0.9em;
}

div.monkeypatch {
    padding: 10px 0 0 20px;
    border-left: 5px solid #EEE5D3;
}

div.deprecated:before {
    content: 'Deprecated parts';
    float: right;
    display: block;
    padding: 2px 10px;
    background-image: -webkit-linear-gradient(top left, #FFFFFF 0%, #fffaba 100%);
    background-image: linear-gradient(to bottom right, #FFFFFF 0%, #fffaba 100%);
    font-size: 0.9em;
}

div.deprecated {
    opacity: 0.6;
}

b.hovercard {
    position: absolute;
    font-size: 12px;
    width: 200px;
    background-color: white;
    border: 1px #ddd solid;
    width: auto;
    height: auto;
    cursor: pointer;
    -webkit-box-shadow: 2px 2px 5px 2px #eee;
}

b.hovercard>div.title {
    padding: 5px 10px 2px 5px;
    background-color: #fcfcfc;
    border-bottom: 1px #ddd solid;
}

b.hovercard>ol {
    list-style: none;
    margin: 0;
    padding: 5px 10px 10px 15px;
}

b.hovercard li {
    padding: 0 5px 0 0;
}

b.hovercard a {
    border-bottom: none;
    color: black;
}

text {
    font-size: 12px;
}

#bug-assist-form {
    position: fixed;
    width: 10em;
    top: 1em;
    right: 1em;
    font-family: Tahoma,sans-serif;
    font-size: 11px;
    opacity:0.8;
    text-align:right;
}
.example {
    background: none repeat scroll 0 0 #fcfcfc;
    border-color: #c0c0c0;
    border-left: 0.25em solid #c0c0c0;
    color: #222222;
    display: block;
    margin-left: 1em;
    padding-bottom: 0.5em;
    padding-left: 1em;
}

div.example:before {
    content: "Code Example: ";
    font-weight: bolder;
}

p.note {
    background: none repeat scroll 0 0 #e9fbe9;
    border-color: #52e052;
    border-left: 0.25em solid #52e052;
	font-style:normal;
	font-weight:normal;
	font-size:medium;
	color: #000000;


}
p.note:before {font-weight:bold;}

#wipcontainer {
  position: fixed;
  bottom: 0px;
  margin: 0 0 0 -37.5%;
  width: 75%;
  left: 50%;
  z-index: 1000;
}
#wip {
  display: block;
  color: white;
  width: auto;
  border: thin solid rgb(141, 0, 0);
  border-bottom: none;
  border-radius: 0.5em 0.5em 0 0;
  box-shadow: 0 0 1em rgba(127, 127, 127, .5);
  padding: 1em 8em 1.5em 8em;
  margin: auto;
  background: #a90329; /* Old browsers */
  background: -moz-linear-gradient(top,  #a90329 0%, #8f0222 44%, #6d0019 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#a90329), color-stop(44%,#8f0222), color-stop(100%,#6d0019)); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(top,  #a90329 0%,#8f0222 44%,#6d0019 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(top,  #a90329 0%,#8f0222 44%,#6d0019 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(top,  #a90329 0%,#8f0222 44%,#6d0019 100%); /* IE10+ */
  background: linear-gradient(to bottom,  #a90329 0%,#8f0222 44%,#6d0019 100%); /* W3C */

  text-align: center;
  font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;
  font-size: 0.9em;
  font-weight: 300;
}
@media (max-width: 50em) {
  #wipcontainer {
    margin: 0 0 0 0;
    left:0;
    width: auto;
  }
  #wip {
    padding: 1em 4em 1.5em 4em;
    width: auto;
  }
}
#wip strong {
  font-weight: normal;
  display: block;
  text-transform: uppercase;
  text-shadow: 0 2px 2px rgba(0, 0, 0, 0.6);
  margin: 0.25em auto 0.5em auto;
}
#wip a {
  color: #fff;
}
#wip a:hover {
  background: transparent;
}
#wip strong:before, #wip strong:after {
  position: relative;
  content:'\26A0';
  padding: 0 0.5em 0 0.5em;
  text-shadow: none;
  font-size: 1.25em;
}
#wip > input {
  position: absolute;
  right: 5px;
  top: 5px;
  background: none;
  border: none;
  color: rgb(243, 245, 246);
  font-weight: bold;
  font-size: 1.2em;
  cursor: pointer;
  border: thin solid rgba(127, 127, 127, .0);
  border-radius: .3em;
}
#wip > input:hover {
  border: thin outset rgba(127, 127, 127, .5);
}
#wip > input:active {
  border: thin inset rgba(127, 127, 127, .5);
}