/* @group Fundamentals */ * { margin: 0; padding: 0 } /* Is this portable? */ html { background-color: white; width: 100%; height: 100%; } body { background: #fefefe; color: rgba(69, 59, 97, 0.95); text-align: left; min-height: 100%; position: relative; } p { margin: 0.8em 0; } ul, ol { margin: 0.8em 0 0.8em 2em; } dl { margin: 0.8em 0; } dt { font-weight: bold; } dd { margin-left: 2em; } a { text-decoration: none; } a[href]:link {color: #9C5791;} a[href]:visited {color: #5E3558;} a[href]:hover { text-decoration:underline; } a[href].def:link, a[href].def:visited { color: rgba(69, 59, 97, 0.8); } a[href].def:hover { color: rgb(78, 98, 114); } /* @end */ /* @group Show and hide with JS */ body.js-enabled .hide-when-js-enabled { display: none; } /* @end */ /* @group responsive */ #package-header .caption { margin: 0px 1em 0 2em; } @media only screen and (min-width: 1280px) { #content { width: 60vw; max-width: 1450px; min-width: 830px; } } @media only screen and (max-width: 1280px) { #content { width: 75vw; } } @media only screen and (max-width: 950px) { #content { width: 88vw; } } /* menu for wider screens Display the package name at the left and the menu links at the right, inline with each other: The package name Source . Contents . Index */ @media only screen and (min-width: 1000px) { #package-header .caption { display: inline-block; margin: 3px 1em 2px 2em; } #package-header ul.links { float: right; margin: 3px 2em 2px 1em; } } /* menu for smaller screens Display the package name on top of the menu links and center both elements: The package name Source . Contents . Index */ @media only screen and (max-width: 1000px) { #package-header .caption { display: block; margin: 4px 0; text-align: center; } #package-header ul.links { float: none; text-align: center; margin: 0.6em 0 0 0; } #module-header table.info { float: none; top: 0; margin: 0 auto; overflow: hidden; max-width: 80vw; } } /* @end */ /* @group Fonts & Sizes */ /* Basic technique & IE workarounds from YUI 3 For reasons, see: http://yui.yahooapis.com/3.1.1/build/cssfonts/fonts.css */ body { font: 400 16px/1.6 'Open Sans', sans-serif; *font-size:small; /* for IE */ *font:x-small; /* for IE in quirks mode */ } h1 { font-size: 146.5%; /* 19pt */ } h2 { font-size: 131%; /* 17pt */ } h3 { font-size: 116%; /* 15pt */ } h4 { font-size: 100%; /* 13pt */ } h5 { font-size: 100%; /* 13pt */ } select, input, button, textarea { font:99% sans-serif; } table { font-size:inherit; font:100%; } pre, code, kbd, samp, tt, .src { font-family:monospace; *font-size:108%; line-height: 1.54em; } .links, .link { font-size: 85%; /* 11pt */ } #module-header .caption { font-size: 182%; /* 24pt */ } #module-header .caption sup { font-size: 80%; font-weight: normal; } #package-header #page-menu a:link, #package-header #page-menu a:visited { color: white; } .info { font-size: 85%; /* 11pt */ } /* @end */ /* @group Common */ .caption, h1, h2, h3, h4, h5, h6, summary { font-weight: bold; color: #5E5184; margin: 2em 0 1em 0; } * + h1, * + h2, * + h3, * + h4, * + h5, * + h6 { margin-top: 2em; } h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 { margin-top: inherit; } p + ul { margin-top: 1em; } ul + p { margin-top: 2em; } ul.links { list-style: none; text-align: left; font-size: 1em; } ul.links li { display: inline; white-space: nowrap; padding: 0; } ul.links li + li:before { content: '\00B7'; } ul.links li a { padding: 0.2em 0.5em; } .hide { display: none; } .show { display: inherit; } .clear { clear: both; } .collapser { background-image: url(minus.gif); background-repeat: no-repeat; } .expander { background-image: url(plus.gif); background-repeat: no-repeat; } .collapser, .expander { padding-left: 14px; margin-left: -14px; cursor: pointer; } p.caption.collapser, p.caption.expander { background-position: 0 0.4em; } .instance.collapser, .instance.expander { margin-left: 0px; background-position: left center; min-width: 9px; min-height: 9px; } summary { cursor: pointer; outline: none; list-style-image: url(plus.gif); list-style-position: outside; } details[open] > summary { list-style-image: url(minus.gif); } pre { padding: 17px; margin: 1em 0 2em 0; background-color: rgba(0, 0, 0, .033); overflow: auto; border-bottom: 0.25em solid white; /* white border adds some space below the box to compensate for visual extra space that paragraphs have between baseline and the bounding box */ } .src { background: #f0f0f0; padding: 0.2em 0.5em; } .keyword { font-weight: normal; } .def { font-weight: bold; } @media print { #footer { display: none; } } /* @end */ /* @group Page Structure */ #content { margin: 3em auto 0 auto; padding: 0; } #package-header { background: rgb(94, 81, 132); border-bottom: 5px solid rgba(69, 59, 97, 0.5); color: #ddd; padding: 0.6em 0 0.2em 0; position: relative; text-align: left; margin: 0 auto; overflow: hidden; } #package-header .caption { color: white; font-style: normal; font-size: 1.1rem; font-weight: bold; } #module-header .caption { font-weight: bold; border-bottom: 1px solid #ddd; } table.info { float: right; padding: 0.5em 1em; border: 1px solid #ddd; color: rgb(78,98,114); background-color: #fff; max-width: 40%; border-spacing: 0; position: relative; top: -0.78em; margin: 0 0 0 2em; } .info th { padding: 0 1em 0 0; } div#style-menu-holder { position: relative; z-index: 2; display: inline; } #style-menu { position: absolute; z-index: 1; overflow: visible; background: #374c5e; margin: 0; text-align: center; right: 0; padding: 0; top: 1.25em; } #style-menu li { display: list-item; border-style: none; margin: 0; padding: 0; color: #000; list-style-type: none; } #style-menu li + li { border-top: 1px solid #919191; } #style-menu a { width: 6em; padding: 3px; display: block; } #footer { background: #ddd; border-top: 1px solid #aaa; padding: 0.5em 0; color: #666; text-align: center; position: absolute; width: 100%; height: 3em; margin-top: 3em; } /* @end */ /* @group Front Matter */ #table-of-contents { float: right; clear: right; background: #faf9dc; border: 1px solid #d8d7ad; padding: 0.5em 1em; max-width: 20em; margin: 0.5em 0 1em 1em; } #table-of-contents .caption { text-align: left; margin: 0; } #table-of-contents ul { list-style: none; margin: 0; margin-top: 10px; font-size: 95%; } #table-of-contents ul ul { margin-left: 2em; } #description .caption { display: none; } #synopsis { display: block; position: fixed; height: 80%; top: 9vh; right: 10px; padding: 0; max-width: 75%; z-index: 1; /* Ensure that synopsis covers everything (including MathJAX markup) */ z-index: 1; } #synopsis summary { display: block; float: left; width: 29px; color: rgba(255,255,255,0); height: 110px; margin: 0; font-size: 1px; padding: 0; background: url(synopsis.png) no-repeat 0px -8px; } #synopsis details[open] > summary { background: url(synopsis.png) no-repeat -64px -8px; } #synopsis ul { height: 100%; overflow: auto; padding: 0.5em; margin: 0; } #synopsis ul ul { overflow: hidden; } #synopsis ul, #synopsis ul li.src { background-color: #faf9dc; white-space: nowrap; list-style: none; margin-left: 0; } /* @end */ /* @group Main Content */ #interface div.top { margin: 2em 0; } #interface h1 + div.top, #interface h2 + div.top, #interface h3 + div.top, #interface h4 + div.top, #interface h5 + div.top { margin-top: 1em; } #interface .src .selflink, #interface .src .link { float: right; color: #919191; background: #f0f0f0; padding: 0 0.5em 0.2em; margin: 0 -0.5em 0 0; -moz-user-select: none; } #interface .src .selflink { border-left: 1px solid #919191; margin: 0 -0.5em 0 0.5em; } #interface span.fixity { color: #919191; border-left: 1px solid #919191; padding: 0.2em 0.5em 0.2em 0.5em; margin: 0 -1em 0 1em; } #interface span.rightedge { border-left: 1px solid #919191; padding: 0.2em 0 0.2em 0; margin: 0 0 0 1em; } #interface table { border-spacing: 2px; } #interface td { vertical-align: top; padding-left: 0.5em; } #interface td.doc p { margin: 0; } #interface td.doc p + p { margin-top: 0.8em; } .doc table { border-collapse: collapse; border-spacing: 0px; } .doc th, .doc td { padding: 5px; border: 1px solid #ddd; } .doc th { background-color: #f0f0f0; } .clearfix:after { clear: both; content: " "; display: block; height: 0; visibility: hidden; } .subs ul { list-style: none; display: table; margin: 0; } .subs ul li { display: table-row; } .subs ul li dfn { display: table-cell; font-style: normal; font-weight: bold; margin: 1px 0; white-space: nowrap; } .subs ul li > .doc { display: table-cell; padding-left: 0.5em; margin-bottom: 0.5em; } .subs ul li > .doc p { margin: 0; } /* Render short-style data instances */ .inst ul { height: 100%; padding: 0.5em; margin: 0; } .inst, .inst li { list-style: none; margin-left: 1em; } /* Workaround for bug in Firefox (issue #384) */ .inst-left { float: left; } .top p.src { border-top: 1px solid #ccc; } .subs, .doc { /* use this selector for one level of indent */ padding-left: 2em; } .warning { color: red; } .arguments { margin-top: -0.4em; } .arguments .caption { display: none; } .fields { padding-left: 1em; } .fields .caption { display: none; } .fields p { margin: 0 0; } /* this seems bulky to me .methods, .constructors { background: #f8f8f8; border: 1px solid #eee; } */ /* @end */ /* @group Auxillary Pages */ .extension-list { list-style-type: none; margin-left: 0; } #mini { margin: 0 auto; padding: 0 1em 1em; } #mini > * { font-size: 93%; /* 12pt */ } #mini #module-list .caption, #mini #module-header .caption { font-size: 125%; /* 15pt */ } #mini #interface h1, #mini #interface h2, #mini #interface h3, #mini #interface h4 { font-size: 109%; /* 13pt */ margin: 1em 0 0; } #mini #interface .top, #mini #interface .src { margin: 0; } #mini #module-list ul { list-style: none; margin: 0; } #alphabet ul { list-style: none; padding: 0; margin: 0.5em 0 0; text-align: center; } #alphabet li { display: inline; margin: 0 0.25em; } #alphabet a { font-weight: bold; } #index .caption, #module-list .caption { font-size: 131%; /* 17pt */ } #index table { margin-left: 2em; } #index .src { font-weight: bold; } #index .alt { font-size: 77%; /* 10pt */ font-style: italic; padding-left: 2em; } #index td + td { padding-left: 1em; } #module-list ul { list-style: none; margin: 0 0 0 2em; } #module-list li { clear: right; } #module-list span.collapser, #module-list span.expander { background-position: 0 0.3em; } #module-list .package { float: right; } :target { background-color: #ffff00; } /* @end */