2010-09-21 18:43:01 -06:00
|
|
|
/* General Styles */
|
2010-09-15 22:01:02 -06:00
|
|
|
body {
|
|
|
|
font-family: "Bitstream Vera Sans", Verdana, sans-serif;
|
|
|
|
font-size: 81.25%;
|
|
|
|
line-height: 1.23em;
|
|
|
|
padding: 0;
|
|
|
|
margin: 1.23em;
|
2010-09-21 18:43:01 -06:00
|
|
|
background: white;
|
|
|
|
color: black;
|
2010-09-15 22:01:02 -06:00
|
|
|
}
|
|
|
|
a {
|
|
|
|
color: #04a;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
a:visited {
|
|
|
|
color: #04a;
|
|
|
|
}
|
|
|
|
a:hover {
|
|
|
|
color: #a40;
|
|
|
|
text-decoration: underline;
|
|
|
|
}
|
|
|
|
a:active {
|
|
|
|
color: #c00;
|
|
|
|
}
|
2010-09-21 18:43:01 -06:00
|
|
|
code, pre {
|
|
|
|
font-size: 1.2em;
|
|
|
|
}
|
|
|
|
pre {
|
|
|
|
background: #F0F0F0;
|
|
|
|
padding: 0.5em 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Top bar */
|
2010-09-15 22:01:02 -06:00
|
|
|
#container {
|
2010-09-21 18:43:01 -06:00
|
|
|
width: 100%;
|
2010-09-15 22:01:02 -06:00
|
|
|
margin: auto;
|
|
|
|
}
|
|
|
|
#topnav {
|
|
|
|
height: 55px;
|
2010-09-21 18:43:01 -06:00
|
|
|
background: url(/doc/logo.png) no-repeat top left;
|
2010-09-15 22:01:02 -06:00
|
|
|
}
|
2010-09-21 18:43:01 -06:00
|
|
|
a#logo-box {
|
2010-09-15 22:01:02 -06:00
|
|
|
display: block;
|
|
|
|
height: 55px;
|
|
|
|
}
|
2010-09-21 18:43:01 -06:00
|
|
|
h1#title {
|
2010-09-15 22:01:02 -06:00
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
#nav-main {
|
2010-09-21 18:43:01 -06:00
|
|
|
float: right;
|
|
|
|
width: 500px;
|
|
|
|
margin-top: -5px;
|
2010-09-15 22:01:02 -06:00
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
#nav-main ul {
|
|
|
|
padding-left: 0;
|
|
|
|
margin-left: 0;
|
|
|
|
margin-bottom: 0.5em;
|
|
|
|
}
|
|
|
|
#nav-main li a {
|
|
|
|
display: inline;
|
|
|
|
display: inline-block;
|
|
|
|
padding: .46em .62em .38em .62em;
|
|
|
|
}
|
|
|
|
#nav-main li a:link,
|
|
|
|
#nav-main li a:visited {
|
|
|
|
color: #000;
|
|
|
|
}
|
|
|
|
#nav-main li {
|
|
|
|
display: inline;
|
|
|
|
display: inline-block;
|
|
|
|
background: #e6e6e6 url(/doc/button_background.png) repeat-x;
|
|
|
|
border: solid 1px #999;
|
|
|
|
margin-left: -1px;
|
|
|
|
text-shadow: #fff 0 1px 0;
|
|
|
|
box-shadow: 0 1px 1px #ccc;
|
|
|
|
-moz-box-shadow: 0 1px 1px #ccc;
|
|
|
|
-webkit-box-shadow: 0 1px 1px #ccc;
|
|
|
|
}
|
|
|
|
#nav-main li:first-child {
|
|
|
|
-moz-border-top-left-radius: 4px;
|
|
|
|
border-top-left-radius: 4px;
|
|
|
|
-moz-border-bottom-left-radius: 4px;
|
|
|
|
border-bottom-left-radius: 4px;
|
|
|
|
}
|
|
|
|
#nav-main li:last-child {
|
|
|
|
-moz-border-top-right-radius: 4px;
|
|
|
|
border-top-right-radius: 4px;
|
|
|
|
-moz-border-bottom-right-radius: 4px;
|
|
|
|
border-bottom-right-radius: 4px;
|
|
|
|
}
|
2010-09-21 18:43:01 -06:00
|
|
|
#nav-main .quickref {
|
|
|
|
color: #444;
|
|
|
|
}
|
2010-12-02 20:37:55 -07:00
|
|
|
#nav-main .quickref .sep {
|
|
|
|
color: #999;
|
|
|
|
}
|
2010-09-15 22:01:02 -06:00
|
|
|
#search {
|
2011-04-15 11:48:45 -06:00
|
|
|
width: 120px;
|
2010-09-15 22:01:02 -06:00
|
|
|
margin-left: 0.5em;
|
|
|
|
}
|
|
|
|
#search.inactive {
|
|
|
|
text-align: center;
|
|
|
|
color: #444;
|
|
|
|
}
|
|
|
|
|
2010-09-21 18:43:01 -06:00
|
|
|
/* Footer */
|
|
|
|
#site-info {
|
|
|
|
position: relative;
|
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
#site-info, #site-info a:link, #site-info a:visited {
|
|
|
|
color: #aaa;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Content */
|
2010-09-15 22:01:02 -06:00
|
|
|
#content {
|
2010-09-21 18:43:01 -06:00
|
|
|
clear: both;
|
2010-09-15 22:01:02 -06:00
|
|
|
padding: 0;
|
|
|
|
position: relative;
|
|
|
|
margin-top: 1.5em;
|
|
|
|
margin-bottom: 1.5em;
|
|
|
|
border-top: solid 1px #aaa;
|
|
|
|
border-bottom: solid 1px #aaa;
|
|
|
|
}
|
2010-09-21 18:43:01 -06:00
|
|
|
.left-column {
|
|
|
|
width: 49%;
|
|
|
|
float: left;
|
2010-09-15 22:01:02 -06:00
|
|
|
}
|
2010-09-21 18:43:01 -06:00
|
|
|
.right-column {
|
|
|
|
width: 49%;
|
|
|
|
float: right;
|
2010-09-15 22:01:02 -06:00
|
|
|
}
|
2010-09-21 18:43:01 -06:00
|
|
|
.end-columns {
|
|
|
|
clear: both;
|
2010-09-15 22:01:02 -06:00
|
|
|
}
|
|
|
|
#content h1 {
|
2010-09-21 18:43:01 -06:00
|
|
|
padding: 0;
|
2010-09-15 22:01:02 -06:00
|
|
|
}
|
|
|
|
#content h2 {
|
2011-05-03 11:55:50 -06:00
|
|
|
border-top: 2px solid #ddd;
|
2011-05-06 14:11:07 -06:00
|
|
|
padding: 8px 0;
|
2010-09-21 18:43:01 -06:00
|
|
|
margin: 1.5em 0 0;
|
|
|
|
}
|
|
|
|
#content .subtitle {
|
|
|
|
margin-top: 1em;
|
|
|
|
display: block;
|
2010-09-15 22:01:02 -06:00
|
|
|
}
|
|
|
|
.navtop a {
|
|
|
|
font-weight: normal; font-size: 7pt;
|
|
|
|
float: right; color: #999;
|
|
|
|
}
|
|
|
|
|
2010-09-21 18:43:01 -06:00
|
|
|
/* Content and Code Highlighting */
|
|
|
|
pre.ebnf, pre.grammar {
|
|
|
|
background: #FFFFE0;
|
|
|
|
}
|
2011-01-20 11:43:55 -07:00
|
|
|
span.ln {
|
|
|
|
font-size: 80%;
|
|
|
|
color: #777777;
|
|
|
|
}
|
2010-09-21 18:43:01 -06:00
|
|
|
span.comment {
|
|
|
|
color: #002090;
|
|
|
|
}
|
|
|
|
span.highlight {
|
2011-01-10 16:34:29 -07:00
|
|
|
background: #FF9900;
|
2010-09-21 18:43:01 -06:00
|
|
|
font-weight: bold;
|
|
|
|
}
|
2011-01-10 16:34:29 -07:00
|
|
|
span.highlight-comment {
|
|
|
|
background: #FF9900;
|
|
|
|
font-weight: bold;
|
|
|
|
color: #002090;
|
|
|
|
}
|
|
|
|
span.selection {
|
|
|
|
background: #FFFF00
|
|
|
|
}
|
|
|
|
span.selection-comment {
|
|
|
|
color: #002090;
|
|
|
|
background: #FFFF00
|
|
|
|
}
|
|
|
|
span.selection-highlight {
|
|
|
|
background: #FF9900;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
span.selection-highlight-comment {
|
|
|
|
background: #FF9900;
|
|
|
|
font-weight: bold;
|
|
|
|
color: #002090;
|
|
|
|
}
|
2010-09-21 18:43:01 -06:00
|
|
|
span.alert {
|
|
|
|
color: #D00000;
|
|
|
|
}
|
|
|
|
#nav table {
|
|
|
|
width: 100%;
|
|
|
|
}
|
2010-09-15 22:01:02 -06:00
|
|
|
.detail {
|
|
|
|
padding: 0.25em 1em;
|
|
|
|
background: #F4F4F4;
|
|
|
|
}
|
2011-06-01 19:00:24 -06:00
|
|
|
sup.new {
|
|
|
|
color: red;
|
|
|
|
font-size: 8px;
|
|
|
|
line-height: 0;
|
|
|
|
}
|
2011-10-06 12:56:17 -06:00
|
|
|
.example .expanded {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
.exampleVisible .collapsed {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
.exampleHeading {
|
|
|
|
cursor: pointer;
|
|
|
|
}
|