2012-02-13 03:22:36 -07:00
|
|
|
body {
|
|
|
|
margin: 0;
|
|
|
|
font-family: Helvetica, Arial, sans-serif;
|
|
|
|
font-size: 16px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
pre,
|
|
|
|
code {
|
2012-02-13 03:22:36 -07:00
|
|
|
font-family: Menlo, monospace;
|
|
|
|
font-size: 14px;
|
|
|
|
}
|
2012-02-21 18:45:01 -07:00
|
|
|
pre {
|
|
|
|
line-height: 18px;
|
|
|
|
}
|
2012-02-13 17:45:27 -07:00
|
|
|
pre .comment {
|
|
|
|
color: #375EAB;
|
|
|
|
}
|
2012-02-23 18:42:14 -07:00
|
|
|
pre .highlight,
|
|
|
|
pre .highlight-comment,
|
|
|
|
pre .selection-highlight,
|
|
|
|
pre .selection-highlight-comment {
|
2012-03-12 18:00:11 -06:00
|
|
|
background: #FFFF00;
|
2012-02-23 15:54:10 -07:00
|
|
|
}
|
2012-02-23 18:42:14 -07:00
|
|
|
pre .selection,
|
2012-02-23 15:54:10 -07:00
|
|
|
pre .selection-comment {
|
2012-03-12 18:00:11 -06:00
|
|
|
background: #FF9632;
|
2012-02-23 15:54:10 -07:00
|
|
|
}
|
2012-02-14 16:31:28 -07:00
|
|
|
pre .ln {
|
|
|
|
color: #999;
|
|
|
|
}
|
2012-02-13 03:22:36 -07:00
|
|
|
body {
|
|
|
|
color: #222;
|
|
|
|
}
|
2012-03-14 15:09:54 -06:00
|
|
|
a,
|
|
|
|
.exampleHeading .text {
|
2012-02-13 03:22:36 -07:00
|
|
|
color: #375EAB;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
2012-03-14 15:09:54 -06:00
|
|
|
a:hover,
|
|
|
|
.exampleHeading .text:hover {
|
2012-03-12 18:00:11 -06:00
|
|
|
text-decoration: underline;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
p,
|
|
|
|
pre,
|
|
|
|
ul,
|
|
|
|
ol {
|
2012-02-13 03:22:36 -07:00
|
|
|
margin: 20px;
|
|
|
|
}
|
|
|
|
pre {
|
|
|
|
background: #e9e9e9;
|
|
|
|
padding: 10px;
|
|
|
|
|
|
|
|
-webkit-border-radius: 5px;
|
|
|
|
-moz-border-radius: 5px;
|
|
|
|
border-radius: 5px;
|
|
|
|
}
|
|
|
|
|
2012-02-28 15:38:58 -07:00
|
|
|
h1,
|
|
|
|
h2,
|
|
|
|
h3,
|
|
|
|
h4,
|
|
|
|
.rootHeading {
|
2012-02-13 03:22:36 -07:00
|
|
|
margin: 20px 0;
|
|
|
|
padding: 0;
|
|
|
|
color: #375EAB;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
h1 {
|
|
|
|
font-size: 24px;
|
|
|
|
}
|
|
|
|
h2 {
|
|
|
|
font-size: 20px;
|
|
|
|
background: #E0EBF5;
|
|
|
|
padding: 2px 5px;
|
|
|
|
}
|
|
|
|
h3 {
|
2012-03-12 22:02:36 -06:00
|
|
|
font-size: 20px;
|
2012-02-13 03:22:36 -07:00
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
h3,
|
|
|
|
h4 {
|
2012-02-13 03:22:36 -07:00
|
|
|
margin: 20px 5px;
|
|
|
|
}
|
|
|
|
h4 {
|
|
|
|
font-size: 16px;
|
|
|
|
}
|
|
|
|
.rootHeading {
|
|
|
|
font-size: 20px;
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
dl {
|
|
|
|
margin: 20px;
|
|
|
|
}
|
|
|
|
dd {
|
|
|
|
margin: 2px 20px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
dl,
|
|
|
|
dd {
|
2012-02-13 03:22:36 -07:00
|
|
|
font-size: 14px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#nav table td {
|
2012-02-13 03:22:36 -07:00
|
|
|
vertical-align: top;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.dir th {
|
|
|
|
text-align: left;
|
|
|
|
}
|
|
|
|
table.dir td {
|
|
|
|
word-wrap: break-word;
|
|
|
|
vertical-align: top;
|
|
|
|
}
|
2012-04-20 08:04:13 -06:00
|
|
|
div#page.wide table.dir td.name {
|
|
|
|
white-space: nowrap;
|
|
|
|
}
|
2012-02-23 15:54:10 -07:00
|
|
|
.alert {
|
2012-02-23 18:42:14 -07:00
|
|
|
color: #AA0000;
|
2012-02-23 15:54:10 -07:00
|
|
|
}
|
|
|
|
|
2012-02-28 15:38:58 -07:00
|
|
|
div#heading {
|
2012-02-13 03:22:36 -07:00
|
|
|
float: left;
|
|
|
|
margin: 0 0 10px 0;
|
2012-03-04 16:34:22 -07:00
|
|
|
padding: 21px 0;
|
|
|
|
font-size: 20px;
|
2012-02-13 03:22:36 -07:00
|
|
|
font-weight: normal;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#heading a {
|
2012-02-13 03:22:36 -07:00
|
|
|
color: #222;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
2012-02-28 15:38:58 -07:00
|
|
|
div#topbar {
|
2012-02-13 03:22:36 -07:00
|
|
|
background: #E0EBF5;
|
2012-03-12 17:17:10 -06:00
|
|
|
height: 64px;
|
2012-02-13 03:22:36 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
body {
|
|
|
|
text-align: center;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#page,
|
2012-03-12 17:17:10 -06:00
|
|
|
div#topbar > .container {
|
2012-02-13 03:22:36 -07:00
|
|
|
clear: both;
|
|
|
|
text-align: left;
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
2012-03-12 17:17:10 -06:00
|
|
|
padding: 0 20px;
|
2012-02-13 03:22:36 -07:00
|
|
|
width: 900px;
|
|
|
|
}
|
2012-03-12 17:17:10 -06:00
|
|
|
div#page.wide,
|
|
|
|
div#topbar > .wide {
|
|
|
|
width: auto;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#plusone {
|
2012-02-13 03:22:36 -07:00
|
|
|
float: right;
|
|
|
|
}
|
|
|
|
|
2012-03-26 10:12:15 -06:00
|
|
|
div#footer {
|
2012-02-13 03:22:36 -07:00
|
|
|
color: #666;
|
|
|
|
font-size: 14px;
|
|
|
|
margin: 40px 0;
|
|
|
|
}
|
|
|
|
|
2012-02-28 15:38:58 -07:00
|
|
|
div#menu > a,
|
|
|
|
div#menu > input,
|
|
|
|
div#learn .buttons a,
|
2012-10-04 00:53:05 -06:00
|
|
|
div.play .buttons a,
|
2012-02-28 15:38:58 -07:00
|
|
|
div#blog .read a {
|
2012-02-13 03:22:36 -07:00
|
|
|
padding: 10px;
|
|
|
|
|
|
|
|
text-decoration: none;
|
|
|
|
font-size: 16px;
|
|
|
|
|
|
|
|
-webkit-border-radius: 5px;
|
|
|
|
-moz-border-radius: 5px;
|
|
|
|
border-radius: 5px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#menu > a,
|
|
|
|
div#menu > input {
|
2012-02-13 03:22:36 -07:00
|
|
|
border: 1px solid #375EAB;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#menu > a {
|
2012-02-13 03:22:36 -07:00
|
|
|
color: white;
|
|
|
|
background: #375EAB;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
a#start,
|
|
|
|
div#learn .buttons a,
|
2012-10-04 00:53:05 -06:00
|
|
|
div.play .buttons a,
|
2012-02-28 15:38:58 -07:00
|
|
|
div#blog .read a {
|
2012-02-13 03:22:36 -07:00
|
|
|
color: #222;
|
|
|
|
border: 1px solid #375EAB;
|
|
|
|
background: #E0EBF5;
|
|
|
|
}
|
|
|
|
|
2012-02-28 15:38:58 -07:00
|
|
|
div#menu {
|
2012-03-12 17:17:10 -06:00
|
|
|
float: right;
|
|
|
|
min-width: 590px;
|
2012-02-13 03:22:36 -07:00
|
|
|
padding: 10px 0;
|
|
|
|
text-align: right;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#menu > a {
|
2012-02-13 03:22:36 -07:00
|
|
|
margin-right: 5px;
|
|
|
|
margin-bottom: 10px;
|
|
|
|
|
|
|
|
padding: 10px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#menu > input {
|
2012-02-13 03:22:36 -07:00
|
|
|
position: relative;
|
|
|
|
top: 1px;
|
2012-03-04 16:34:22 -07:00
|
|
|
width: 60px;
|
2012-02-13 03:22:36 -07:00
|
|
|
background: white;
|
|
|
|
color: #222;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#menu > input.inactive {
|
2012-02-13 03:22:36 -07:00
|
|
|
color: #999;
|
|
|
|
}
|
|
|
|
|
2012-03-04 16:34:22 -07:00
|
|
|
div.left {
|
2012-02-13 03:22:36 -07:00
|
|
|
float: left;
|
|
|
|
}
|
2012-03-04 16:34:22 -07:00
|
|
|
div.right {
|
2012-02-13 03:22:36 -07:00
|
|
|
float: right;
|
|
|
|
}
|
2012-03-04 16:34:22 -07:00
|
|
|
div.left,
|
|
|
|
div.right {
|
2012-02-13 03:22:36 -07:00
|
|
|
width: 415px;
|
|
|
|
}
|
|
|
|
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn,
|
|
|
|
div#about {
|
2012-02-13 03:22:36 -07:00
|
|
|
padding-top: 20px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn h2,
|
|
|
|
div#about {
|
2012-02-13 03:22:36 -07:00
|
|
|
margin: 0;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#about {
|
2012-02-13 03:22:36 -07:00
|
|
|
font-size: 20px;
|
|
|
|
}
|
|
|
|
|
2012-02-28 15:38:58 -07:00
|
|
|
div#about {
|
2012-02-13 03:22:36 -07:00
|
|
|
height: 96px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#gopher {
|
2012-02-13 03:22:36 -07:00
|
|
|
background: url(/doc/gopher/frontpage.png) no-repeat;
|
|
|
|
background-position: center top;
|
|
|
|
height: 155px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
a#start {
|
2012-02-13 03:22:36 -07:00
|
|
|
display: block;
|
|
|
|
padding: 10px;
|
|
|
|
|
|
|
|
text-align: center;
|
|
|
|
text-decoration: none;
|
|
|
|
|
|
|
|
-webkit-border-radius: 5px;
|
|
|
|
-moz-border-radius: 5px;
|
|
|
|
border-radius: 5px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
a#start .big {
|
2012-02-13 03:22:36 -07:00
|
|
|
font-weight: bold;
|
|
|
|
font-size: 20px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
a#start .desc {
|
2012-02-13 03:22:36 -07:00
|
|
|
font-size: 14px;
|
|
|
|
font-weight: normal;
|
|
|
|
margin-top: 5px;
|
|
|
|
}
|
|
|
|
|
2012-03-12 18:00:11 -06:00
|
|
|
div#learn .icon {
|
|
|
|
float: right;
|
|
|
|
cursor: pointer;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn pre,
|
|
|
|
div#learn textarea {
|
2012-02-14 18:59:50 -07:00
|
|
|
padding: 0;
|
2012-02-13 03:22:36 -07:00
|
|
|
margin: 0;
|
|
|
|
font-family: Menlo, monospace;
|
|
|
|
font-size: 14px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn .input {
|
2012-02-13 03:22:36 -07:00
|
|
|
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;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn .input textarea {
|
2012-02-13 03:22:36 -07:00
|
|
|
width: 100%;
|
|
|
|
height: 100%;
|
|
|
|
border: none;
|
|
|
|
outline: none;
|
|
|
|
resize: none;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn .output {
|
2012-02-13 03:22:36 -07:00
|
|
|
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;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn .output pre {
|
2012-02-13 03:22:36 -07:00
|
|
|
padding: 0;
|
|
|
|
|
|
|
|
-webkit-border-radius: 0;
|
|
|
|
-moz-border-radius: 0;
|
|
|
|
border-radius: 0;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn .input,
|
|
|
|
div#learn .input textarea,
|
|
|
|
div#learn .output,
|
|
|
|
div#learn .output pre {
|
2012-02-13 03:22:36 -07:00
|
|
|
background: #FFFFD8;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn .input,
|
|
|
|
div#learn .output {
|
2012-02-13 03:22:36 -07:00
|
|
|
border: 1px solid #375EAB;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn .buttons {
|
2012-03-15 00:44:47 -06:00
|
|
|
float: right;
|
2012-02-13 03:22:36 -07:00
|
|
|
padding: 20px 0 10px 0;
|
|
|
|
text-align: right;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#learn .buttons a {
|
2012-02-13 03:22:36 -07:00
|
|
|
height: 16px;
|
|
|
|
margin-left: 5px;
|
|
|
|
padding: 10px;
|
|
|
|
}
|
2012-03-15 00:44:47 -06:00
|
|
|
div#learn .toys {
|
|
|
|
margin-top: 8px;
|
2012-02-13 03:22:36 -07:00
|
|
|
}
|
2012-03-15 00:44:47 -06:00
|
|
|
div#learn .toys select {
|
|
|
|
border: 1px solid #375EAB;
|
|
|
|
margin: 0;
|
2012-02-13 03:22:36 -07:00
|
|
|
}
|
|
|
|
|
2012-02-28 15:38:58 -07:00
|
|
|
div#blog,
|
|
|
|
div#video {
|
2012-02-13 03:22:36 -07:00
|
|
|
margin-top: 40px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#blog > a,
|
|
|
|
div#blog > div,
|
|
|
|
div#blog > h2,
|
|
|
|
div#video > a,
|
|
|
|
div#video > div,
|
|
|
|
div#video > h2 {
|
2012-02-13 03:22:36 -07:00
|
|
|
margin-bottom: 10px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#blog .title,
|
|
|
|
div#video .title {
|
2012-02-13 03:22:36 -07:00
|
|
|
display: block;
|
|
|
|
font-size: 20px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#blog .when {
|
2012-02-13 03:22:36 -07:00
|
|
|
color: #666;
|
|
|
|
font-size: 14px;
|
|
|
|
}
|
2012-02-28 15:38:58 -07:00
|
|
|
div#blog .read {
|
2012-02-13 03:22:36 -07:00
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
|
2012-03-25 21:10:27 -06:00
|
|
|
.toggleButton { cursor: pointer; }
|
|
|
|
.toggle .collapsed { display: block; }
|
|
|
|
.toggle .expanded { display: none; }
|
|
|
|
.toggleVisible .collapsed { display: none; }
|
|
|
|
.toggleVisible .expanded { display: block; }
|
2012-02-21 21:02:31 -07:00
|
|
|
|
|
|
|
table.codetable { margin-left: auto; margin-right: auto; border-style: none; }
|
2012-05-15 22:54:48 -06:00
|
|
|
table.codetable td { padding-right: 10px; }
|
2012-02-21 21:02:31 -07:00
|
|
|
hr { border-style: none; border-top: 1px solid black; }
|
2012-03-05 18:50:52 -07:00
|
|
|
|
|
|
|
img.gopher {
|
|
|
|
float: right;
|
|
|
|
margin-left: 10px;
|
|
|
|
margin-bottom: 10px;
|
|
|
|
}
|
|
|
|
.pkgGopher {
|
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
.pkgGopher .gopher {
|
|
|
|
float: none;
|
|
|
|
position: relative;
|
|
|
|
top: -40px;
|
|
|
|
margin-bottom: -120px;
|
|
|
|
}
|
|
|
|
h2 { clear: right; }
|
2012-10-04 00:53:05 -06:00
|
|
|
|
|
|
|
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.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;
|
|
|
|
}
|