/* -*- mode: css; coding: utf-8 -*- */
/* CSS from  http://css-eblog.com/csstechnique/position-fixed-forie6.html */
* html, * html body {
    height: 100%;
    overflow-y: hidden;
    overflow-x: auto;
}

* html #sagittarius-doc-wrapper {
    overflow: auto;
    position: relative;
    width: 100%;
    height: 100%;
}
body {
    padding: 10px;
    background-color: #FAEBD7;
}
/* end */

h1 {
    font-size: xx-large;
}

section > h1 {
    font-size: xx-large;
    border-bottom: 2px solid;
}

section > h2 {
    font-size: x-large;
    border-bottom: 2px solid;
}

section > h3 {
    font-size: large;
    text-decoration: underline;
}

h4 {
    font-size: large;
    text-decoration: underline;
}

h5 {
    font-size: medium;
}

p.navigation-container {
    display: flex;
    justify-content: space-between;
}

p#index-table {
    width: 100%;
    font-size: x-large;
}

#index-letters {
    font-weight: bold;
    font-size: x-large;
}

#index-letters:before {
    content: "Jump to: ";
}

#index-letters a {
    width: 15px;
    font-family: monospace;
    display: inline-block;
}

p#index-table ~ h5 {
    font-size: x-large;
    font-weight: bold;
    font-family: monospace;
    border-top: 2px groove;
    padding-top: 5px;
    margin: 0px;
}

p#index-table ~ table {
    margin-left: 10px;
    width: 100%;
}


p#index-table ~ table td {
    width: 50%;
}

p#index-table ~ table td:nth-child(1) {
    font-family: monospace;
}

div.define {
    font-size: medium;
    background-color: #708090;
    color: #F5F5F5;
}

div.define > span {
    font-size: large;
    font-weight: bold;
    color: #DDA0DD;
}
div.define > span:after {
    content: ":";
}

div.define > a span:nth-child(1) {
    font-family: monospace;
    font-weight: bold;
}

pre > code {
    color: #000000;
    background-color: #BED6C9;
    width: 100%;
    display: inline-block;
}

div.snipet {
    display: flex;
    align-items: flex-start;
}

div.snipet > pre {
    display: inline-block;
    color: #000000;
    background-color: #BED6C9;
    margin: 0;
    padding: 3px;
}

div.snipet > span:before {
    content: " => ";
}

div.snipet > span {
    font-family: monospace;
    background-color: #9932CC;
    color: #F5F5F5;
    display: inline-block;
    padding: 3px;
}

code[node-type="code"] {
    white-space: nowrap;
}

div.codeblock {
    
}

div.codeblock > pre {
    color: #000000;
    background-color: #BED6C9;
    margin: 0;
    padding: 3px;
}

div.codeblock > span:before {
    content: " => ";
}

div.codeblock > span {
    display: block;
    font-family: monospace;
    background-color: #9932CC;
    color: #F5F5F5;
    padding: 3px;
}

blockquote {
  background: #f9f9f9;
  border-left: 5px solid #ccc;
  margin: 1.5em 10px;
  padding: 0.5em 5px;
  quotes: "\201C""\201D""\2018""\2019";
}

blockquote:before {
  color: #ccc;
  content: open-quote;
  font-size: 3em;
  line-height: 0.1em;
  margin-right: 0.25em;
  vertical-align: -0.4em;
}

blockquote p {
  display: inline;
}


a[href] {
  color: inherit;
  text-decoration: none;
}

a[href] {
  background:
    linear-gradient(
      to right,
      rgba(100, 200, 200, 1),
      rgba(100, 200, 200, 1)
    ),
    linear-gradient(
      to right,
      rgba(255, 0, 0, 1),
      rgba(255, 0, 180, 1),
      rgba(0, 100, 200, 1)
  );
  background-size: 100% 3px, 0 3px;
  background-position: 100% 100%, 0 100%;
  background-repeat: no-repeat;
  transition: background-size 400ms;
}

a[href]:hover {
  background-size: 0 3px, 100% 3px;
}

a[node-type="footnote-ref"] {
    font-size: small;
    color: red;
}

section[node-type="footnote"] {
    font-size: small;
    display: flex;
}
section[node-type="footnote"] > p > a {
    white-space: nowrap;
    color: red;
}
section[node-type="footnote"] > p > a:after {
    content: ": ";
}

/* navigator */
div.navigator {
    background-color: #eeeeee;
    position: fixed !important;
    position: absolute;
    top: 0px;
    right: 0px;
    border: 1px solid;
}

a.navigator:before {
    content: "[ ";
    color: black;
    text-decoration: none;
}

a.navigator:after {
    content: " ]";
    color: black;
    text-decoration: none;
}

a.navigator {
    display: inline-block;
    padding-left: 5px;
    padding-right: 5px;
}

/* online document */
section {
    clear: both;
}

hr {
    clear: both;
}

ul.child-content {
    list-style-type: none;
}

since {
    color: #00ddFF;
    font-weight: bold;
}
since > span:before {
    content: "@since ";
}

deprecated:before {
    content: "DEPRECATED"
}
deprecated {
    color: #ffff00;
    font-weight: bold;
}

experimental {
    color: #FF1133;
    font-weight: bold;
    text-decoration: none;
}
experimental:before {
    content: "**Experimental**";
}