1/* @group Fundamentals */
3* { margin: 0; padding: 0 }
7 background-color: white;
25 margin: 0.8em 0 0.8em 2em;
39a { text-decoration: none; }
40a[href]:link { color: rgb(196,69,29); }
41a[href]:visited { color: rgb(171,105,84); }
42a[href]:hover { text-decoration:underline; }
46/* @group Fonts & Sizes */
48/* Basic technique & IE workarounds from YUI 3
50 http://yui.yahooapis.com/3.1.1/build/cssfonts/fonts.css
54 font:13px/1.4 sans-serif;
55 *font-size:small; /* for IE */
56 *font:x-small; /* for IE in quirks mode */
59h1 { font-size: 146.5%; /* 19pt */ }
60h2 { font-size: 131%; /* 17pt */ }
61h3 { font-size: 116%; /* 15pt */ }
62h4 { font-size: 100%; /* 13pt */ }
63h5 { font-size: 100%; /* 13pt */ }
65select, input, button, textarea {
74pre, code, kbd, samp, tt, .src {
75 font-family:monospace;
81 font-size: 85%; /* 11pt */
84#module-header .caption {
85 font-size: 182%; /* 24pt */
89 font-size: 85%; /* 11pt */
92#table-of-contents, #synopsis {
93 /* font-size: 85%; /* 11pt */
101.caption, h1, h2, h3, h4, h5, h6 {
103 color: rgb(78,98,114);
104 margin: 0.8em 0 0.4em;
107* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 {
111h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 {
119 display: inline-table;
125 border-left: 1px solid #d5d5d5;
131 padding: 0.2em 0.5em;
134.hide { display: none; }
135.show { display: inherit; }
136.clear { clear: both; }
139 background-image: url(minus.gif);
140 background-repeat: no-repeat;
143 background-image: url(plus.gif);
144 background-repeat: no-repeat;
148 background-position: 0 0.4em;
150.collapser, .expander {
159 background: rgb(229,237,244);
161 border-bottom: 0.25em solid white;
162 /* white border adds some space below the box to compensate
163 for visual extra space that paragraphs have between baseline
164 and the bounding box */
169 padding: 0.2em 0.5em;
172.keyword { font-weight: normal; }
173.def { font-weight: bold; }
178/* @group Page Structure */
186 background: rgb(41,56,69);
187 border-top: 5px solid rgb(78,98,114);
194#package-header .caption {
195 background: url(hslogo-16.png) no-repeat 0em;
203#package-header a:link, #package-header a:visited { color: white; }
204#package-header a:hover { background: rgb(78,98,114); }
206#module-header .caption {
207 color: rgb(78,98,114);
209 border-bottom: 1px solid #ddd;
215 border: 1px solid #ddd;
216 color: rgb(78,98,114);
217 background-color: #fff;
229div#style-menu-holder {
253 list-style-type: none;
257 border-top: 1px solid #919191;
268 border-top: 1px solid #aaa;
280/* @group Front Matter */
286 border: 1px solid #d8d7ad;
289 margin: 0.5em 0 1em 1em;
292#table-of-contents .caption {
297#table-of-contents ul {
302#table-of-contents ul ul {
306#description .caption {
326 color: rgba(255,255,255,0);
333#synopsis p.caption.collapser {
334 background: url(synopsis.png) no-repeat -64px -8px;
337#synopsis p.caption.expander {
338 background: url(synopsis.png) no-repeat 0px -8px;
354 background-color: #faf9dc;
362/* @group Main Content */
364#interface div.top { margin: 2em 0; }
365#interface h1 + div.top,
366#interface h2 + div.top,
367#interface h3 + div.top,
368#interface h4 + div.top,
369#interface h5 + div.top {
372#interface p.src .link {
375 border-left: 1px solid #919191;
377 padding: 0 0.5em 0.2em;
378 margin: 0 -0.5em 0 0.5em;
381#interface span.fixity {
383 border-left: 1px solid #919191;
384 padding: 0.2em 0.5em 0.2em 0.5em;
385 margin: 0 -1em 0 1em;
388#interface span.rightedge {
389 border-left: 1px solid #919191;
390 padding: 0.2em 0 0.2em 0;
394#interface table { border-spacing: 2px; }
405#interface td.doc p + p {
425 margin-bottom: 0.5em;
436/* Render short-style data instances */
449 border-top: 1px solid #ccc;
453 /* use this selector for one level of indent */
468.fields { padding-left: 1em; }
470.fields .caption { display: none; }
472.fields p { margin: 0 0; }
474/* this seems bulky to me
475.methods, .constructors {
477 border: 1px solid #eee;
483/* @group Auxillary Pages */
487 list-style-type: none;
497 font-size: 93%; /* 12pt */
500#mini #module-list .caption,
501#mini #module-header .caption {
502 font-size: 125%; /* 15pt */
509 font-size: 109%; /* 13pt */
513#mini #interface .top,
514#mini #interface .src {
518#mini #module-list ul {
540#module-list .caption { font-size: 131%; /* 17pt */ }
550 font-size: 77%; /* 10pt */
568#module-list span.collapser,
569#module-list span.expander {
570 background-position: 0 0.3em;
573#module-list .package {
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list