| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033 |
- .container-body {
- width: 100%;
- overflow:hidden;
- }
- a > img {
- max-height:70%;
- float:left;
- padding-left:22px;
- padding-top:8px;
- }
- body {
- margin: 0;
- font-family: HelveticaNeueBold,Helvetica,Helvetica,Arial,sans-serif;
- font-size: 16px;
- background-color: #fff;
- line-height: 1.3em;
- }
- pre,
- code {
- font-family: Menlo, monospace;
- font-size: 14px;
- }
- pre {
- line-height: 1.4em;
- overflow-x: auto;
- }
- pre .comment {
- color: #006600;
- }
- pre .highlight,
- pre .highlight-comment,
- pre .selection-highlight,
- pre .selection-highlight-comment {
- background: #FFFF00;
- }
- pre .selection,
- pre .selection-comment {
- background: #FF9632;
- }
- pre .ln {
- color: #999;
- }
- body {
- color: #222;
- }
- a,
- .exampleHeading .text {
- color: #375EAB;
- text-decoration: none;
- }
- a:hover,
- .exampleHeading .text:hover {
- text-decoration: underline;
- }
- p, li {
- max-width: 800px;
- word-wrap: break-word;
- }
- p,
- pre,
- ul,
- ol {
- display: inherit;
- margin: 20px;
- }
- .packages {
- margin: 0px;
- text-align: left;
- width: 100%;
- }
- pre {
- background: #EFEFEF;
- padding: 10px;
- -webkit-border-radius: 5px;
- -moz-border-radius: 5px;
- border-radius: 5px;
- }
- .title {
- font-family: HelveticaNeueBold,Helvetica,Helvetica,Arial,sans-serif;
- text-shadow: rgba(0,0,0,0.8) 0 -1px 0;
- color: #fff;
- -webkit-font-smoothing: antialiased;
- margin:20px;
- display:inherit;
- }
- h1,
- h2,
- h3,
- h4,
- .rootHeading {
- margin: 20px 0 20px;
- padding: 0;
- color: #375EAB;
- font-weight: bold;
- }
- h1 {
- font-size: 28px;
- line-height: 1;
- }
- h2 {
- font-size: 20px;
- background: #E0EBF5;
- padding: 8px;
- line-height: 1.25;
- font-weight: normal;
- }
- h2 a {
- font-weight: bold;
- }
- h3 {
- font-size: 20px;
- }
- h3,
- h4 {
- margin: 20px 5px;
- }
- h4 {
- font-size: 16px;
- }
- .rootHeading {
- font-size: 20px;
- margin: 0;
- }
- dl {
- margin: 20px;
- }
- dd {
- margin: 0 0 0 20px;
- }
- dl,
- dd {
- font-size: 14px;
- }
- div#nav table td {
- vertical-align: top;
- }
- div#mobile_container {
- display:inline-block;
- font-size: 15px;
- margin-left:auto;
- margin-right:auto;
- line-height:100%;
- }
- div#mobile-nav {
- display:none;
- }
- div#logo_container {
- height:100%;
- display:table-cell;
- float:left;
- vertical-align:middle;
- }
- div#mobile_only {
- display:none;
- }
- div#fixed {
- position: fixed;
- width: 100%;
- height: 100%;
- }
- div .top_link {
- float:right;
- overflow:auto;
- display:inline;
- padding-top:2px;
- }
- .pkg-dir {
- width: 20%;
- max-width:400px;
- min-width:325px;
- height: calc(100% - 64px);
- position: relative;
- background: #F6F6F6;
- overflow:hidden;
- float: left;
- display: inline-block;
- box-sizing: border-box;
- border-top-style:hidden;
- border-left-style:hidden;
- border-bottom-style:hidden;
- }
- .pkg-dir table {
- border-collapse: collapse;
- border-spacing: 0;
- }
- .pkg-name {
- padding-right: 20px;
- }
- .alert {
- color: #AA0000;
- }
- .top-heading {
- float: left;
- padding: 21px 0;
- font-size: 20px;
- font-weight: normal;
- }
- .top-heading a {
- color: #222;
- text-decoration: none;
- }
- div#topbar {
- background: #444;
- height: 64px;
- overflow: hidden;
- position: relative;
- }
- div#page {
- box-sizing: border-box;
- height:calc(100% - 64px);
- overflow:auto;
- }
- div#page > .container,
- div#topbar > .container {
- text-align: left;
- padding: 0 20px;
- }
- div#topbar > .container,
- div#page > .container {
- }
- div#page.wide > .container,
- div#topbar.wide > .container {
- }
- div#plusone {
- float: right;
- clear: right;
- margin-top: 5px;
- }
- div#footer {
- text-align: center;
- color: #666;
- font-size: 14px;
- margin: 40px 0;
- }
- div#menu > a,
- div#menu > input,
- div#learn .buttons a,
- div.play .buttons a,
- div#blog .read a,
- #menu-button {
- padding: 10px;
- text-decoration: none;
- font-size: 16px;
- -webkit-border-radius: 5px;
- -moz-border-radius: 5px;
- border-radius: 5px;
- }
- div#playground .buttons a,
- div#menu > a,
- div#menu > input,
- #menu-button {
- border: 1px solid #375EAB;
- }
- div#playground .buttons a,
- div#menu > a,
- #menu-button {
- color: white;
- background: #375EAB;
- }
- #playgroundButton.active {
- background: white;
- color: #375EAB;
- }
- a#start,
- div#learn .buttons a,
- div.play .buttons a,
- div#blog .read a {
- color: #222;
- border: 1px solid #375EAB;
- background: #E0EBF5;
- }
- .download {
- width: 150px;
- }
- div#menu {
- display: inline;
- float: right;
- padding: 10px;
- white-space: nowrap;
- }
- div#menu.menu-visible {
- max-height: 500px;
- }
- div#menu > a,
- #menu-button {
- margin: 10px 2px;
- padding: 10px;
- }
- div#menu > input {
- position: relative;
- top: 1px;
- width: 140px;
- background: white;
- color: #222;
- box-sizing: border-box;
- }
- div#menu > input.inactive {
- color: #999;
- }
- #menu-button {
- display: none;
- position: absolute;
- right: 5px;
- top: 0;
- margin-right: 5px;
- }
- #menu-button-arrow {
- display: inline-block;
- }
- .vertical-flip {
- transform: rotate(-180deg);
- }
- div.left {
- float: left;
- clear: left;
- margin-right: 2.5%;
- }
- div.right {
- float: right;
- clear: right;
- margin-left: 2.5%;
- }
- div.left,
- div.right {
- width: 45%;
- }
- div#learn,
- div#about {
- padding-top: 20px;
- }
- div#learn h2,
- div#about {
- margin: 0;
- }
- div#about {
- font-size: 20px;
- margin: 0 auto 30px;
- }
- div#gopher {
- background: url(/doc/gopher/frontpage.png) no-repeat;
- background-position: center top;
- height: 155px;
- }
- a#start {
- display: block;
- padding: 10px;
- text-align: center;
- text-decoration: none;
- -webkit-border-radius: 5px;
- -moz-border-radius: 5px;
- border-radius: 5px;
- }
- a#start .big {
- display: block;
- font-weight: bold;
- font-size: 20px;
- }
- a#start .desc {
- display: block;
- font-size: 14px;
- font-weight: normal;
- margin-top: 5px;
- }
- div#learn .popout {
- float: right;
- display: block;
- cursor: pointer;
- font-size: 12px;
- background: url(/doc/share.png) no-repeat;
- background-position: right top;
- padding: 5px 27px;
- }
- div#learn pre,
- div#learn textarea {
- padding: 0;
- margin: 0;
- font-family: Menlo, monospace;
- font-size: 14px;
- }
- div#learn .input {
- padding: 10px;
- margin-top: 10px;
- height: 150px;
- -webkit-border-top-left-radius: 5px;
- -webkit-border-top-right-radius: 5px;
- -moz-border-radius-topleft: 5px;
- -moz-border-radius-topright: 5px;
- border-top-left-radius: 5px;
- border-top-right-radius: 5px;
- }
- div#learn .input textarea {
- width: 100%;
- height: 100%;
- border: none;
- outline: none;
- resize: none;
- }
- div#learn .output {
- border-top: none !important;
- padding: 10px;
- height: 59px;
- overflow: auto;
- -webkit-border-bottom-right-radius: 5px;
- -webkit-border-bottom-left-radius: 5px;
- -moz-border-radius-bottomright: 5px;
- -moz-border-radius-bottomleft: 5px;
- border-bottom-right-radius: 5px;
- border-bottom-left-radius: 5px;
- }
- div#learn .output pre {
- padding: 0;
- -webkit-border-radius: 0;
- -moz-border-radius: 0;
- border-radius: 0;
- }
- div#learn .input,
- div#learn .input textarea,
- div#learn .output,
- div#learn .output pre {
- background: #FFFFD8;
- }
- div#learn .input,
- div#learn .output {
- border: 1px solid #375EAB;
- }
- div#learn .buttons {
- float: right;
- padding: 20px 0 10px 0;
- text-align: right;
- }
- div#learn .buttons a {
- height: 16px;
- margin-left: 5px;
- padding: 10px;
- }
- div#learn .toys {
- margin-top: 8px;
- }
- div#learn .toys select {
- border: 1px solid #375EAB;
- margin: 0;
- }
- div#learn .output .exit {
- display: none;
- }
- div#video {
- max-width: 100%;
- }
- div#blog,
- div#video {
- margin-top: 40px;
- }
- div#blog > a,
- div#blog > div,
- div#blog > h2,
- div#video > a,
- div#video > div,
- div#video > h2 {
- margin-bottom: 10px;
- }
- div#blog .title,
- div#video .title {
- display: block;
- font-size: 20px;
- }
- div#blog .when {
- color: #666;
- font-size: 14px;
- }
- div#blog .read {
- text-align: right;
- }
- .toggleButton { cursor: pointer; }
- .toggle .collapsed { display: block; }
- .toggle .expanded { display: none; }
- .toggleVisible .collapsed { display: none; }
- .toggleVisible .expanded { display: block; }
- table.codetable { margin-left: auto; margin-right: auto; border-style: none; }
- table.codetable td { padding-right: 10px; }
- hr { border-style: none; border-top: 1px solid black; }
- img.gopher {
- float: right;
- margin-left: 10px;
- margin-bottom: 10px;
- z-index: -1;
- }
- h2 { clear: right; }
- /* example and drop-down playground */
- div.play {
- padding: 0 20px 40px 20px;
- }
- div.play pre,
- div.play textarea,
- div.play .lines {
- padding: 0;
- margin: 0;
- font-family: Menlo, monospace;
- font-size: 14px;
- }
- div.play .input {
- padding: 10px;
- margin-top: 10px;
- -webkit-border-top-left-radius: 5px;
- -webkit-border-top-right-radius: 5px;
- -moz-border-radius-topleft: 5px;
- -moz-border-radius-topright: 5px;
- border-top-left-radius: 5px;
- border-top-right-radius: 5px;
- overflow: hidden;
- }
- div.play .input textarea {
- width: 100%;
- height: 100%;
- border: none;
- outline: none;
- resize: none;
- overflow: hidden;
- }
- div#playground .input textarea {
- overflow: auto;
- resize: auto;
- }
- div.play .output {
- border-top: none !important;
- padding: 10px;
- max-height: 200px;
- overflow: auto;
- -webkit-border-bottom-right-radius: 5px;
- -webkit-border-bottom-left-radius: 5px;
- -moz-border-radius-bottomright: 5px;
- -moz-border-radius-bottomleft: 5px;
- border-bottom-right-radius: 5px;
- border-bottom-left-radius: 5px;
- }
- div.play .output pre {
- padding: 0;
- -webkit-border-radius: 0;
- -moz-border-radius: 0;
- border-radius: 0;
- }
- div.play .input,
- div.play .input textarea,
- div.play .output,
- div.play .output pre {
- background: #FFFFD8;
- }
- div.play .input,
- div.play .output {
- border: 1px solid #375EAB;
- }
- div.play .buttons {
- float: right;
- padding: 20px 0 10px 0;
- text-align: right;
- }
- div.play .buttons a {
- height: 16px;
- margin-left: 5px;
- padding: 10px;
- cursor: pointer;
- }
- .output .stderr {
- color: #933;
- }
- .output .system {
- color: #999;
- }
- /* drop-down playground */
- #playgroundButton,
- div#playground {
- /* start hidden; revealed by javascript */
- display: none;
- }
- div#playground {
- position: absolute;
- top: 63px;
- right: 20px;
- padding: 0 10px 10px 10px;
- z-index: 1;
- text-align: left;
- background: #E0EBF5;
- border: 1px solid #B0BBC5;
- border-top: none;
- -webkit-border-bottom-left-radius: 5px;
- -webkit-border-bottom-right-radius: 5px;
- -moz-border-radius-bottomleft: 5px;
- -moz-border-radius-bottomright: 5px;
- border-bottom-left-radius: 5px;
- border-bottom-right-radius: 5px;
- }
- div#playground .code {
- width: 520px;
- height: 200px;
- }
- div#playground .output {
- height: 100px;
- }
- /* Inline runnable snippets (play.js/initPlayground) */
- #content .code pre, #content .playground pre, #content .output pre {
- margin: 0;
- padding: 0;
- background: none;
- border: none;
- outline: 0px solid transparent;
- overflow: auto;
- }
- #content .playground .number, #content .code .number {
- color: #999;
- }
- #content .code, #content .playground, #content .output {
- width: auto;
- margin: 20px;
- padding: 10px;
- -webkit-border-radius: 5px;
- -moz-border-radius: 5px;
- border-radius: 5px;
- }
- #content .code, #content .playground {
- background: #e9e9e9;
- }
- #content .output {
- background: #202020;
- }
- #content .output .stdout, #content .output pre {
- color: #e6e6e6;
- }
- #content .output .stderr, #content .output .error {
- color: rgb(244, 74, 63);
- }
- #content .output .system, #content .output .exit {
- color: rgb(255, 209, 77)
- }
- #content .buttons {
- position: relative;
- float: right;
- top: -50px;
- right: 30px;
- }
- #content .output .buttons {
- top: -60px;
- right: 0;
- height: 0;
- }
- #content .buttons .kill {
- display: none;
- visibility: hidden;
- }
- a.error {
- font-weight: bold;
- color: white;
- background-color: darkred;
- border-bottom-left-radius: 4px;
- border-bottom-right-radius: 4px;
- border-top-left-radius: 4px;
- border-top-right-radius: 4px;
- padding: 2px 4px 2px 4px; /* TRBL */
- }
- #heading-narrow {
- display: none;
- }
- .downloading {
- background: #F9F9BE;
- padding: 10px;
- text-align: center;
- border-radius: 5px;
- }
- @media (max-width: 930px) {
- #heading-wide {
- display: none;
- }
- #heading-narrow {
- display: block;
- }
- .pkg-dir {
- display: none;
- }
- .title {
- margin:5px;
- }
- div#page {
- box-sizing: border-box;
- width:100%;
- height:calc(100% - 64px);
- float:right;
- display:inline-block;
- overflow:auto
- }
- div#menu {
- display: none;
- }
- div#topbar {
- height: 30px;
- padding: 10px;
- }
- a > img {
- max-height:100%;
- float:left;
- padding-left:10px;
- padding-top:2px;
- }
- div#mobile-nav {
- display:inline-block;
- float:right;
- border-bottom: 13px double white;
- border-top: 4px solid white;
- content:"";
- height: 5px;
- width:30px;
- }
- div#mobile_container {
- display:inline-block;
- width: 100%;
- padding-left:20px;
- padding-top:10px;
- }
- }
- @media (max-width: 760px) {
- .container .left,
- .container .right {
- width: auto;
- float: none;
- }
- div#about {
- max-width: 500px;
- text-align: center;
- }
- .title {
- margin:5px;
- }
- .pkg-dir {
- display: none;
- }
- div#page {
- box-sizing: border-box;
- width:100%;
- height:calc(100% - 64px);
- float:right;
- display:inline-block;
- overflow:auto
- }
- div#menu {
- display: none;
- }
- div#topbar {
- height: 30px;
- padding: 10px;
- }
- div#mobile-nav {
- display:inline-block;
- float:right;
- border-bottom: 13px double white;
- border-top: 4px solid white;
- content:"";
- height: 5px;
- width:30px;
- }
- }
- @media (min-width: 700px) and (max-width: 1000px) {
- div#menu > a {
- margin: 5px 0;
- font-size: 14px;
- }
- div#menu > input {
- font-size: 14px;
- }
- .title {
- margin:5px;
- }
- .pkg-dir {
- display: none;
- }
- div#page {
- box-sizing: border-box;
- width:100%;
- height:calc(100% - 64px);
- float:right;
- display:inline-block;
- overflow:auto
- }
- div#menu {
- display: none;
- }
- div#topbar {
- height: 30px;
- padding: 10px;
- }
- div#mobile-nav {
- display:inline-block;
- float:right;
- border-bottom: 13px double white;
- border-top: 4px solid white;
- content:"";
- height: 5px;
- width:30px;
- }
- }
- @media (max-width: 700px) {
- body {
- font-size: 15px;
- }
- pre,
- code {
- font-size: 13px;
- }
- div#page > .container {
- padding: 0 10px;
- }
- div#topbar {
- padding: 10px;
- }
- div#topbar > .container {
- padding: 0;
- }
- #heading-wide {
- display: block;
- }
- #heading-narrow {
- display: none;
- }
- .top-heading {
- float: none;
- display: inline-block;
- padding: 12px;
- }
- div#menu {
- padding: 0;
- min-width: 0;
- text-align: left;
- float: left;
- }
- div#menu > a,
- div#menu > input {
- display: block;
- margin-left: 0;
- margin-right: 0;
- }
- div#menu > input {
- width: 100%;
- }
- #menu-button {
- display: inline-block;
- }
- p,
- pre,
- ul,
- ol {
- margin: 10px;
- }
- .pkg-synopsis {
- display: none;
- }
- img.gopher {
- display: none;
- }
- .pkg-dir {
- display: none;
- }
- .title {
- margin:5px;
- }
- div#page {
- box-sizing: border-box;
- width:100%;
- height:calc(100% - 64px);
- float:right;
- display:inline-block;
- overflow:auto
- }
- div#menu {
- display: none;
- }
- div#topbar {
- height: 30px;
- padding: 10px;
- }
- div#mobile-nav {
- display:inline-block;
- float:right;
- border-bottom: 13px double white;
- border-top: 4px solid white;
- content:"";
- height: 5px;
- width:30px;
- }
- }
- @media (max-width: 480px) {
- #heading-wide {
- display: none;
- }
- #heading-narrow {
- display: block;
- }
- .pkg-dir {
- display: none;
- }
- .title {
- margin:5px;
- }
- div#page {
- box-sizing: border-box;
- width:100%;
- height:calc(100% - 64px);
- float:right;
- display:inline-block;
- overflow:auto
- }
- div#menu {
- display: none;
- }
- div#topbar {
- height: 30px;
- padding: 10px;
- }
- div#mobile-nav {
- display:inline-block;
- float:right;
- border-bottom: 13px double white;
- border-top: 4px solid white;
- content:"";
- height: 5px;
- width:30px;
- }
- }
- @media print {
- pre {
- background: #FFF;
- border: 1px solid #BBB;
- white-space: pre-wrap;
- }
- }
|