#antiSOPA {
  overflow: auto;
  color: white;
}
.antiSOPA p {
  clear: left;
  text-align: left;
}
.antiSOPA a:link {
  color: #ccc;
}
.antiSOPA a:link:hover {
  color: #fff;
}
.antiSOPA a:visited {
  color: #fff;
}
.antiSOPA a:visited:hover {
  color: #ccc;
}
.antiSOPA .pill {
  padding-left: 35px;
}
.antiSOPA ul {
  float: left;
  margin-left: 0;
  margin-top: 0;
  list-style: none;
}
.antiSOPA li {
  margin-left: 0;
  float: left;
  width: 42%;
}
.antiSOPA .red {
  background: url(/media/video/img/pill-red-small.png) no-repeat;
}
.antiSOPA .blue {
  margin-left: 1em;
  background: url(/media/video/img/pill-blue-small.png) no-repeat;
}
body {
  background-color: white;
  color: black;
  font-family: sans-serif;
  -webkit-font-smoothing: antialiased;
  counter-reset: figures tables;
  text-shadow: 0.5px 0.5px 0.5px rgba(0, 0, 0, 0.1);
}
p {
  text-align: justify;
  line-height: 1.5;
}
p.subtitle {
  margin-top: 0;
  margin-bottom: 1em;
  font-style: italic;
}
p.status,
p.success {
  padding: 0.25em 0.5em;
  color: black;
}
p.status {
  border: 1px solid red;
  background-color: #ffc;
}
p.success {
  border: 1px solid green;
  background-color: #cfc;
  color: black;
}
li p {
  text-align: left;
  line-height: 1;
}
div,
ul,
ol,
th,
td {
  max-width: 60ex;
}
div,
ul,
ol {
  margin-left: auto;
  margin-right: auto;
}
td ul {
  max-width: none;
}
ul,
ol {
  padding-left: 0;
}
ul li,
ol li {
  margin-left: 40px;
  line-height: 1.5;
}
ul.horizontal {
  float: left;
  margin: 0 0 1em 0;
  list-style: none;
}
ul.horizontal li {
  float: left;
  margin-left: 0;
  margin-right: 0.5em;
}
a:link {
  background-color: transparent;
  color: #00c;
}
a.broken :link,
a.broken :focus,
a.broken :hover {
  text-decoration: line-through !important;
}
a:visited {
  background-color: transparent;
  color: #609;
}
a:link:focus,
a:visited:focus,
a:link:hover,
a:visited:hover {
  background-color: transparent;
  color: #090;
}
a[href^="http:"],
a[href^="https:"] {
  padding-right: 13px;
  background: transparent url(/media/video/img/external.png) no-repeat right center;
}
/* SW-NE arrow */
/*
a[href^="http:"]:after,
a[href^="https:"]:after
{
  content: "\2197";
  font-weight: normal;
}
*/
a[href^="http://PointedEars.de/"],
a[href^="https://PointedEars.de/"] {
  padding-right: 0;
  background: none;
}
a.twitter {
  display: inline-block;
}
i em {
  font-style: normal;
}
#header {
  margin-top: 5em;
}
#toc {
  display: block;
  position: fixed;
  right: 0;
  top: 0;
  max-width: 20em;
  height: 3em;
  padding: 0 1em 1em 1em;
  border: 1px solid #666;
  background-color: #ffffff;
  background-color: rgba(255, 255, 255, 0.9);
  overflow: hidden;
  z-index: 1;
  cursor: default;
  /* See http://www.useit.com/alertbox/mega-dropdown-menus.html */
  -moz-transition: height 0.1s 0.5s;
  -o-transition: height 0.1s 0.5s;
  -webkit-transition: height 0.1s 0.5s;
  transition: height 0.1s 0.5s;
}
#toc:hover,
#toc:focus,
#toc:target {
  height: 26.5em;
  max-height: 100%;
  -moz-transition: height 0.1s;
  -o-transition: height 0.1s;
  -webkit-transition: height 0.1s;
  transition: height 0.1s;
}
#toc:hover {
  -moz-transition-delay: 0.5s;
  -o-transition-delay: 0.5s;
  -webkit-transition-delay: 0.5s;
  transition-delay: 0.5s;
}
#toc h2:after {
  display: block;
  float: right;
  content: "\25BC ";
}
#toc:hover h2:after {
  content: "\25B2 ";
}
#message {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
}
#message p {
  margin: 0 22em 0 0;
}
/* Abstract */
blockquote p {
  font-style: italic;
  padding-left: 0.25em;
}
blockquote p:first-child {
  text-indent: -0.25em;
}
#foreword blockquote p {
  margin-bottom: 0;
  text-align: left;
}
#foreword blockquote p em {
  font-style: normal;
}
#foreword blockquote div {
  text-align: right;
}
.closed {
  text-decoration: line-through;
}
span[title],
var[title],
.footnote-ref,
.footnote-ref :link,
.footnote-ref :visited {
  border-bottom: 1px dotted #666;
}
[title] {
  cursor: help;
}
img,
input,
button {
  cursor: auto !important;
}
#features-table col:first-child {
  width: 30em;
}
#features-table td.tooltip-container {
  border-bottom: none !important;
}
#features-table td.tooltip-container .tooltip {
  min-width: 20em;
  max-width: 32em;
  max-height: 32em;
}
.footnote-ref .tooltip {
  border-bottom: none !important;
}
.footnotes {
  width: 100%;
  margin-top: 0;
  counter-increment: tables 0;
}
.footnotes th {
  text-align: right;
}
a[title] {
  cursor: pointer !important;
}
a.backref {
  text-decoration: none;
}
span.section {
  font-size: smaller;
}
abbr {
  border-bottom: 1px dotted #666;
  /* Konqueror 3.5.9 fix */
  font-variant: normal;
}
figure {
  counter-increment: figures;
}
figure > figcaption:before {
  content: "Figure\a0" counter(figures) ": ";
}
figcaption {
  font-size: small;
  text-align: center;
}
table {
  margin-top: 1em;
  counter-increment: tables;
}
table table {
  margin-top: 0;
  counter-increment: tables 0;
}
caption {
  font-size: small;
  text-align: left;
}
table > caption:before {
  content: "Table\a0" counter(tables) ": ";
}
thead {
  position: sticky;
  top: 0;
}
tr {
  vertical-align: top;
  vertical-align: baseline;
}
th,
td {
  /* moved to not-ns4.css for compatibility */
  text-align: left;
  font-size: small;
}
th *,
td * {
  font-size: small;
}
th {
  font-weight: bold;
}
th.right {
  text-align: right;
}
.nowrap,
.date {
  white-space: nowrap;
}
sup {
  line-height: 1;
  font-weight: 500;
  font-style: normal;
}
th sup,
td sup {
  font-size: smaller;
}
th sup *,
td sup * {
  font-size: inherit;
}
sup :link,
sup :visited {
  margin-left: 0.125em;
  text-decoration: none;
}
.future {
  border-left: 1px dotted black;
}
.assumed {
  font-style: italic;
}
.tested {
  font-weight: bold;
}
.safe {
  background-color: #9f9;
}
.unsafe {
  background-color: #ff6;
}
@media braille, embossed, print, speech, tty {
  span.safe .visual,
  span.unsafe .visual {
    display: none;
  }
  span.safe:after {
    content: 'marked with "safe"';
  }
  span.unsafe:after {
    content: 'marked with "unsafe"';
  }
  tr.safe th:first-child:after {
    content: " (safe)";
  }
  tr.unsafe th:first-child:after {
    content: " (unsafe)";
  }
}
thead {
  border: none;
}
thead th a:link:focus,
thead td a:link:focus,
thead th a:visited:focus,
thead td a:visited:focus,
thead th a:link:hover,
thead td a:link:hover,
thead th a:visited:hover,
thead td a:visited:hover {
  background-color: transparent;
  color: #fff;
}
thead th a:link,
thead td a:link {
  background-color: transparent;
  color: #009;
}
thead th a:visited,
thead td a:visited {
  background-color: transparent;
  color: #606;
}
thead tr,
tbody tr.header,
tbody tr.header th,
tbody tr.header td {
  font-weight: bold !important;
  background-color: #99f !important;
  color: #000;
}
tbody tr {
  background-color: #ccc;
}
tbody tr:hover {
  background-color: #fff;
}
tbody tr.safe {
  background-color: #9f9;
}
tbody tr.safe:hover {
  background-color: #dfd;
}
tbody tr.safe a:link:focus,
tbody tr.safe a:visited:focus,
tbody tr.safe a:link:hover,
tbody tr.safe a:visited:hover {
  background-color: transparent;
  color: #060;
}
tbody tr.safe:nth-child(even) {
  background-color: #cfc;
}
tbody tr.safe:nth-child(even):hover {
  background-color: #dfd;
}
tbody tr.even {
  background-color: #ccf;
}
tbody tr.even:hover {
  background-color: #fff;
}
tbody tr.even.safe {
  background-color: #cfc;
}
tbody tr.even.safe:hover {
  background-color: #dfd;
}
tbody tr:nth-child(even) {
  background-color: #ccf;
}
tbody tr:nth-child(even):hover {
  background-color: #fff;
}
tfoot tbody tr,
tfoot tbody tr.even {
  background-color: inherit;
}
tfoot tbody tr:nth-child(even) {
  background-color: inherit;
}
#features-table {
  width: 100%;
}
#features-table tbody tr span.hover {
  display: inline-block;
  width: 0;
  height: 0;
  line-height: 0;
  opacity: 0;
  letter-spacing: -0.5em;
}
#features-table tbody tr:hover span.hover,
#features-table tbody tr:focus span.hover,
#features-table tbody tr:target span.hover {
  width: auto;
  height: auto;
  line-height: normal;
  opacity: 1;
  letter-spacing: normal;
  -moz-transition: 0.1s 0.1s;
  -o-transition: 0.1s 0.1s;
  -webkit-transition: 0.1s 0.1s;
  transition: 0.1s 0.1s;
}
#features-table tbody th {
  font-weight: normal;
}
table {
  /* keeps background color in line with table design */
}
table.results th {
  text-align: "." center;
}
table.results td {
  text-align: right;
  text-align: "/" center;
}
table.edit {
  width: 100%;
}
table.edit th {
  text-align: right;
}
table > tbody.scroll {
  /*
     * Not for IE 6 and below.
     * Bugfix for IE 7 follows below.
     */
  border-top: 0;
  border-left-color: gray;
  height: 23em;
  overflow: auto;
  /*
     * In supporting Gecko versions, the scrollbar is displayed within
     * the tbody area, so we disable horizontal scrolling for that ...
     */
  overflow-x: hidden !important;
  /*
     * ... and make enough room so that the text won't flow under the
     * vertical scrollbar.  However, that is still a dirty hack as we
     * assume that the vertical scrollbar is not wider than 20px.
     */
}
table > tbody.scroll tr {
  /* Bugfix for IE 7+ */
  height: auto;
}
table > tbody.scroll tr.header {
  display: none;
}
table > tbody.scroll td:last-child {
  padding-right: 20px;
  /* No padding on cells of inner tables, override with !important */
}
table > tbody.scroll td:last-child td:last-child {
  padding-right: 0;
}
table code,
table span {
  background-color: transparent !important;
}
span {
  width: auto;
  height: auto;
}
input[readonly] {
  border: none;
  width: 1em;
  background-color: inherit;
  color: inherit;
}
a.add,
button.add {
  background-color: inherit !important;
  color: #060 !important;
}
a.edit {
  background-color: inherit !important;
  color: #660 !important;
}
a.edit:hover,
a.edit:focus {
  background-color: inherit !important;
  color: #990 !important;
}
button.add {
  border: none;
  text-decoration: underline;
}
button.negative {
  background-color: #900;
  color: #fff;
}
button.negative:hover,
button.negative:focus {
  background-color: #c00;
  color: #fff;
}
button.positive {
  background-color: #090;
  color: #fff;
}
button.positive:hover,
button.positive:focus {
  background-color: #0c0;
  color: #fff;
}
button.delete {
  margin: 0.5em 0;
  padding: 0;
  border: none;
  background-color: transparent;
  color: #900;
  text-decoration: underline;
}
button.delete:hover,
button.delete:focus {
  background-color: transparent;
  color: #f00;
}
.timeline .blue {
  background-color: #006;
  color: white;
}
#footer {
  margin-top: 1em;
  border-top: 1px solid black;
  padding-top: 1em;
}
#footer,
#footer p {
  text-align: center;
}
ul.tree {
  margin: auto;
  width: 10em;
}
ul.tree,
ul.tree ul {
  padding: 0 0 0 1em;
}
ul.tree ul {
  margin: 0;
}
ul.tree li {
  padding: 0;
  margin: 0;
  list-style: none;
  position: relative;
}
ul.tree li:first-child::before {
  position: absolute;
  top: -0.2em;
  left: -0.75em;
  height: 1em;
  width: 0.5em;
  border-style: none none solid solid;
  content: '';
  border-width: 0.1em;
}
ul.tree li:not(:last-child)::after {
  position: absolute;
  top: 0;
  bottom: -0.8em;
  left: -0.75em;
  width: 0.5em;
  border-style: none none solid solid;
  content: '';
  border-width: 0.1em;
}
ul.tree li li {
  list-style: none;
}