GoPLS Viewer

Home|gopls/godoc/static/style.css
1body {
2  margin: 0;
3  font-family: Arial, sans-serif;
4  background-color: #fff;
5  line-height: 1.3;
6  text-align: center;
7  color: #222;
8}
9textarea {
10  /* Inherit text color from body avoiding illegible text in the case where the
11     * user has inverted the browsers custom text and background colors. */
12  color: inherit;
13}
14pre,
15code {
16  font-family: Menlo, monospace;
17  font-size: 0.875rem;
18}
19pre {
20  line-height: 1.4;
21  overflow-x: auto;
22}
23pre .comment {
24  color: #006600;
25}
26pre .highlight,
27pre .highlight-comment,
28pre .selection-highlight,
29pre .selection-highlight-comment {
30  background: #ffff00;
31}
32pre .selection,
33pre .selection-comment {
34  background: #ff9632;
35}
36pre .ln {
37  color: #999;
38  background: #efefef;
39}
40.ln {
41  -webkit-user-select: none;
42  -moz-user-select: none;
43  -ms-user-select: none;
44  user-select: none;
45
46  /* Ensure 8 characters in the document - which due to floating
47   * point rendering issues, might have a width of less than 1 each - are 8
48   * characters wide, so a tab in the 9th position indents properly. See
49   * https://github.com/webcompat/web-bugs/issues/17530#issuecomment-402675091
50   * for more information. */
51  display: inline-block;
52  width: 8ch;
53}
54
55.search-nav {
56  margin-left: 1.25rem;
57  font-size: 0.875rem;
58  column-gap: 1.25rem;
59  column-fill: auto;
60  column-width: 14rem;
61}
62
63.search-nav .indent {
64  margin-left: 1.25rem;
65}
66
67a,
68.exampleHeading .text,
69.expandAll {
70  color: #375eab;
71  text-decoration: none;
72}
73a:hover,
74.exampleHeading .text:hover,
75.expandAll:hover {
76  text-decoration: underline;
77}
78.article a {
79  text-decoration: underline;
80}
81.article .title a {
82  text-decoration: none;
83}
84
85.permalink {
86  display: none;
87}
88:hover > .permalink {
89  display: inline;
90}
91
92p,
93li {
94  max-width: 50rem;
95  word-wrap: break-word;
96}
97p,
98pre,
99ul,
100ol {
101  margin: 1.25rem;
102}
103pre {
104  background: #efefef;
105  padding: 0.625rem;
106  border-radius: 0.3125rem;
107}
108
109h1,
110h2,
111h3,
112h4,
113.rootHeading {
114  margin: 1.25rem 0 1.25rem;
115  padding: 0;
116  color: #375eab;
117  font-weight: bold;
118}
119h1 {
120  font-size: 1.75rem;
121  line-height: 1;
122}
123h1 .text-muted {
124  color: #777;
125}
126h2 {
127  font-size: 1.25rem;
128  background: #e0ebf5;
129  padding: 0.5rem;
130  line-height: 1.25;
131  font-weight: normal;
132  overflow: auto;
133  overflow-wrap: break-word;
134}
135h2 a {
136  font-weight: bold;
137}
138h3 {
139  font-size: 1.25rem;
140  line-height: 1.25;
141  overflow: auto;
142  overflow-wrap: break-word;
143}
144h3,
145h4 {
146  margin: 1.25rem 0.3125rem;
147}
148h4 {
149  font-size: 1rem;
150}
151.rootHeading {
152  font-size: 1.25rem;
153  margin: 0;
154}
155
156h2 > span,
157h3 > span {
158  float: right;
159  margin: 0 25px 0 0;
160  font-weight: normal;
161  color: #5279c7;
162}
163
164dl {
165  margin: 1.25rem;
166}
167dd {
168  margin: 0 0 0 1.25rem;
169}
170dl,
171dd {
172  font-size: 0.875rem;
173}
174div#nav table td {
175  vertical-align: top;
176}
177
178#pkg-index h3 {
179  font-size: 1rem;
180}
181.pkg-dir {
182  padding: 0 0.625rem;
183}
184.pkg-dir table {
185  border-collapse: collapse;
186  border-spacing: 0;
187}
188.pkg-name {
189  padding-right: 0.625rem;
190}
191.alert {
192  color: #aa0000;
193}
194
195.top-heading {
196  float: left;
197  padding: 1.313rem 0;
198  font-size: 1.25rem;
199  font-weight: normal;
200}
201.top-heading a {
202  color: #222;
203  text-decoration: none;
204}
205
206#pkg-examples h3 {
207  float: left;
208}
209
210#pkg-examples dl {
211  clear: both;
212}
213
214.expandAll {
215  cursor: pointer;
216  float: left;
217  margin: 1.25rem 0;
218}
219
220div#topbar {
221  background: #e0ebf5;
222  height: 4rem;
223  overflow: hidden;
224}
225
226div#page {
227  width: 100%;
228}
229div#page > .container,
230div#topbar > .container {
231  text-align: left;
232  margin-left: auto;
233  margin-right: auto;
234  padding: 0 1.25rem;
235}
236div#topbar > .container,
237div#page > .container {
238  max-width: 59.38rem;
239}
240div#page.wide > .container,
241div#topbar.wide > .container {
242  max-width: none;
243}
244div#plusone {
245  float: right;
246  clear: right;
247  margin-top: 0.3125rem;
248}
249
250div#footer {
251  text-align: center;
252  color: #666;
253  font-size: 0.875rem;
254  margin: 2.5rem 0;
255}
256
257div#menu > a,
258input#search,
259div#learn .buttons a,
260div.play .buttons a,
261div#blog .read a,
262#menu-button {
263  padding: 0.625rem;
264
265  text-decoration: none;
266  font-size: 1rem;
267  border-radius: 0.3125rem;
268}
269div#playground .buttons a,
270div#menu > a,
271input#search,
272#menu-button {
273  border: 0.0625rem solid #375eab;
274}
275div#playground .buttons a,
276div#menu > a,
277#menu-button {
278  color: white;
279  background: #375eab;
280}
281#playgroundButton.active {
282  background: white;
283  color: #375eab;
284}
285a#start,
286div#learn .buttons a,
287div.play .buttons a,
288div#blog .read a {
289  color: #222;
290  border: 0.0625rem solid #375eab;
291  background: #e0ebf5;
292}
293.download {
294  width: 9.375rem;
295}
296
297div#menu {
298  text-align: right;
299  padding: 0.625rem;
300  white-space: nowrap;
301  max-height: 0;
302  -moz-transition: max-height 0.25s linear;
303  transition: max-height 0.25s linear;
304  width: 100%;
305}
306div#menu.menu-visible {
307  max-height: 31.25rem;
308}
309div#menu > a,
310#menu-button {
311  margin: 0.625rem 0.125rem;
312  padding: 0.625rem;
313}
314::-webkit-input-placeholder {
315  color: #7f7f7f;
316  opacity: 1;
317}
318::placeholder {
319  color: #7f7f7f;
320  opacity: 1;
321}
322#menu .search-box {
323  display: inline-flex;
324  width: 8.75rem;
325}
326input#search {
327  background: white;
328  color: #222;
329  box-sizing: border-box;
330  -webkit-appearance: none;
331  border-top-right-radius: 0;
332  border-bottom-right-radius: 0;
333  border-right: 0;
334  margin-right: 0;
335  flex-grow: 1;
336  max-width: 100%;
337  min-width: 5.625rem;
338}
339input#search:-webkit-search-decoration {
340  -webkit-appearance: none;
341}
342input#search:-moz-ui-invalid {
343  box-shadow: unset;
344}
345input#search + button {
346  display: inline;
347  font-size: 1em;
348  background-color: #375eab;
349  color: white;
350  border: 0.0625rem solid #375eab;
351  border-top-left-radius: 0;
352  border-top-right-radius: 0.3125rem;
353  border-bottom-left-radius: 0;
354  border-bottom-right-radius: 0.3125rem;
355  margin-left: 0;
356  cursor: pointer;
357}
358input#search + button span {
359  display: flex;
360}
361input#search + button svg {
362  fill: white;
363}
364
365#menu-button {
366  display: none;
367  position: absolute;
368  right: 0.3125rem;
369  top: 0;
370  margin-right: 0.3125rem;
371}
372#menu-button-arrow {
373  display: inline-block;
374}
375.vertical-flip {
376  transform: rotate(-180deg);
377}
378
379div.left {
380  float: left;
381  clear: left;
382  margin-right: 2.5%;
383}
384div.right {
385  float: right;
386  clear: right;
387  margin-left: 2.5%;
388}
389div.left,
390div.right {
391  width: 45%;
392}
393
394div#learn,
395div#about {
396  padding-top: 1.25rem;
397}
398div#learn h2,
399div#about {
400  margin: 0;
401}
402div#about {
403  font-size: 1.25rem;
404  margin: 0 auto 1.875rem;
405}
406a#start {
407  display: block;
408  padding: 0.625rem;
409
410  text-align: center;
411  text-decoration: none;
412  border-radius: 0.3125rem;
413}
414a#start .big {
415  display: block;
416  font-weight: bold;
417  font-size: 1.25rem;
418}
419a#start .desc {
420  display: block;
421  font-size: 0.875rem;
422  font-weight: normal;
423  margin-top: 0.3125rem;
424}
425
426div#learn .popout {
427  float: right;
428  display: block;
429  cursor: pointer;
430  font-size: 0.75rem;
431  background: url(/doc/share.png) no-repeat;
432  background-position: right center;
433  padding: 0.375rem 1.688rem;
434}
435div#learn pre,
436div#learn textarea {
437  padding: 0;
438  margin: 0;
439  font-family: Menlo, monospace;
440  font-size: 0.875rem;
441}
442div#learn .input {
443  padding: 0.625rem;
444  margin-top: 0.625rem;
445  height: 9.375rem;
446
447  border-top-left-radius: 0.3125rem;
448  border-top-right-radius: 0.3125rem;
449}
450div#learn .input textarea {
451  width: 100%;
452  height: 100%;
453  border: none;
454  outline: none;
455  resize: none;
456}
457div#learn .output {
458  border-top: none !important;
459
460  padding: 0.625rem;
461  height: 3.688rem;
462  overflow: auto;
463
464  border-bottom-right-radius: 0.3125rem;
465  border-bottom-left-radius: 0.3125rem;
466}
467div#learn .output pre {
468  padding: 0;
469  border-radius: 0;
470}
471div#learn .input,
472div#learn .input textarea,
473div#learn .output,
474div#learn .output pre {
475  background: #ffffd8;
476}
477div#learn .input,
478div#learn .output {
479  border: 0.0625rem solid #375eab;
480}
481div#learn .buttons {
482  float: right;
483  padding: 1.25rem 0 0.625rem 0;
484  text-align: right;
485}
486div#learn .buttons a {
487  height: 1rem;
488  margin-left: 0.3125rem;
489  padding: 0.625rem;
490}
491div#learn .toys {
492  margin-top: 0.5rem;
493}
494div#learn .toys select {
495  font-size: 0.875rem;
496  border: 0.0625rem solid #375eab;
497  margin: 0;
498}
499div#learn .output .exit {
500  display: none;
501}
502
503div#video {
504  max-width: 100%;
505}
506div#blog,
507div#video {
508  margin-top: 2.5rem;
509}
510div#blog > a,
511div#blog > div,
512div#blog > h2,
513div#video > a,
514div#video > div,
515div#video > h2 {
516  margin-bottom: 0.625rem;
517}
518div#blog .title,
519div#video .title {
520  display: block;
521  font-size: 1.25rem;
522}
523div#blog .when {
524  color: #666;
525  font-size: 0.875rem;
526}
527div#blog .read {
528  text-align: right;
529}
530
531@supports (--c: 0) {
532  [style*='--aspect-ratio-padding:'] {
533    position: relative;
534    overflow: hidden;
535    padding-top: var(--aspect-ratio-padding);
536  }
537
538  [style*='--aspect-ratio-padding:'] > * {
539    position: absolute;
540    top: 0;
541    left: 0;
542    width: 100%;
543    height: 100%;
544  }
545}
546
547.toggleButton {
548  cursor: pointer;
549}
550.toggle > .collapsed {
551  display: block;
552}
553.toggle > .expanded {
554  display: none;
555}
556.toggleVisible > .collapsed {
557  display: none;
558}
559.toggleVisible > .expanded {
560  display: block;
561}
562
563table.codetable {
564  margin-left: auto;
565  margin-right: auto;
566  border-style: none;
567}
568table.codetable td {
569  padding-right: 0.625rem;
570}
571hr {
572  border-style: none;
573  border-top: 0.0625rem solid black;
574}
575
576img.gopher {
577  float: right;
578  margin-left: 0.625rem;
579  margin-top: -2.5rem;
580  margin-bottom: 0.625rem;
581  z-index: -1;
582}
583h2 {
584  clear: right;
585}
586
587/* example and drop-down playground */
588div.play {
589  padding: 0 1.25rem 2.5rem 1.25rem;
590}
591div.play pre,
592div.play textarea,
593div.play .lines {
594  padding: 0;
595  margin: 0;
596  font-family: Menlo, monospace;
597  font-size: 0.875rem;
598}
599div.play .input {
600  padding: 0.625rem;
601  margin-top: 0.625rem;
602
603  border-top-left-radius: 0.3125rem;
604  border-top-right-radius: 0.3125rem;
605
606  overflow: hidden;
607}
608div.play .input textarea {
609  width: 100%;
610  height: 100%;
611  border: none;
612  outline: none;
613  resize: none;
614
615  overflow: hidden;
616}
617div#playground .input textarea {
618  overflow: auto;
619  resize: auto;
620}
621div.play .output {
622  border-top: none !important;
623
624  padding: 0.625rem;
625  max-height: 12.5rem;
626  overflow: auto;
627
628  border-bottom-right-radius: 0.3125rem;
629  border-bottom-left-radius: 0.3125rem;
630}
631div.play .output pre {
632  padding: 0;
633  border-radius: 0;
634}
635div.play .input,
636div.play .input textarea,
637div.play .output,
638div.play .output pre {
639  background: #ffffd8;
640}
641div.play .input,
642div.play .output {
643  border: 0.0625rem solid #375eab;
644}
645div.play .buttons {
646  float: right;
647  padding: 1.25rem 0 0.625rem 0;
648  text-align: right;
649}
650div.play .buttons a {
651  height: 1rem;
652  margin-left: 0.3125rem;
653  padding: 0.625rem;
654  cursor: pointer;
655}
656.output .stderr {
657  color: #933;
658}
659.output .system {
660  color: #999;
661}
662
663/* drop-down playground */
664div#playground {
665  /* start hidden; revealed by javascript */
666  display: none;
667}
668div#playground {
669  position: absolute;
670  top: 3.938rem;
671  right: 1.25rem;
672  padding: 0 0.625rem 0.625rem 0.625rem;
673  z-index: 1;
674  text-align: left;
675  background: #e0ebf5;
676
677  border: 0.0625rem solid #b0bbc5;
678  border-top: none;
679
680  border-bottom-left-radius: 0.3125rem;
681  border-bottom-right-radius: 0.3125rem;
682}
683div#playground .code {
684  width: 32.5rem;
685  height: 12.5rem;
686}
687div#playground .output {
688  height: 6.25rem;
689}
690
691/* Inline runnable snippets (play.js/initPlayground) */
692#content .code pre,
693#content .playground pre,
694#content .output pre {
695  margin: 0;
696  padding: 0;
697  background: none;
698  border: none;
699  outline: 0 solid transparent;
700  overflow: auto;
701}
702#content .playground .number,
703#content .code .number {
704  color: #999;
705}
706#content .code,
707#content .playground,
708#content .output {
709  width: auto;
710  margin: 1.25rem;
711  padding: 0.625rem;
712  border-radius: 0.3125rem;
713}
714#content .code,
715#content .playground {
716  background: #e9e9e9;
717}
718#content .output {
719  background: #202020;
720}
721#content .output .stdout,
722#content .output pre {
723  color: #e6e6e6;
724}
725#content .output .stderr,
726#content .output .error {
727  color: rgb(244, 74, 63);
728}
729#content .output .system,
730#content .output .exit {
731  color: rgb(255, 209, 77);
732}
733#content .buttons {
734  position: relative;
735  float: right;
736  top: -3.125rem;
737  right: 1.875rem;
738}
739#content .output .buttons {
740  top: -3.75rem;
741  right: 0;
742  height: 0;
743}
744#content .buttons .kill {
745  display: none;
746  visibility: hidden;
747}
748a.error {
749  font-weight: bold;
750  color: white;
751  background-color: darkred;
752  border-bottom-left-radius: 0.25rem;
753  border-bottom-right-radius: 0.25rem;
754  border-top-left-radius: 0.25rem;
755  border-top-right-radius: 0.25rem;
756  padding: 0.125rem 0.25rem 0.125rem 0.25rem; /* TRBL */
757}
758
759#heading-narrow {
760  display: none;
761}
762
763.downloading {
764  background: #f9f9be;
765  padding: 0.625rem;
766  text-align: center;
767  border-radius: 0.3125rem;
768}
769
770@media (max-width: 58.125em) {
771  #heading-wide {
772    display: none;
773  }
774  #heading-narrow {
775    display: block;
776  }
777}
778
779@media (max-width: 47.5em) {
780  .container .left,
781  .container .right {
782    width: auto;
783    float: none;
784  }
785
786  div#about {
787    max-width: 31.25rem;
788    text-align: center;
789  }
790}
791
792@media (min-width: 43.75em) and (max-width: 62.5em) {
793  div#menu > a {
794    margin: 0.3125rem 0;
795    font-size: 0.875rem;
796  }
797
798  input#search {
799    font-size: 0.875rem;
800  }
801}
802
803@media (max-width: 43.75em) {
804  body {
805    font-size: 0.9375rem;
806  }
807
808  div#playground {
809    left: 0;
810    right: 0;
811  }
812
813  pre,
814  code {
815    font-size: 0.866rem;
816  }
817
818  div#page > .container {
819    padding: 0 0.625rem;
820  }
821
822  div#topbar {
823    height: auto;
824    padding: 0.625rem;
825  }
826
827  div#topbar > .container {
828    padding: 0;
829  }
830
831  #heading-wide {
832    display: block;
833  }
834  #heading-narrow {
835    display: none;
836  }
837
838  .top-heading {
839    float: none;
840    display: inline-block;
841    padding: 0.75rem;
842  }
843
844  div#menu {
845    padding: 0;
846    min-width: 0;
847    text-align: left;
848    float: left;
849  }
850
851  div#menu > a {
852    display: block;
853    margin-left: 0;
854    margin-right: 0;
855  }
856
857  #menu .search-box {
858    display: flex;
859    width: 100%;
860  }
861
862  #menu-button {
863    display: inline-block;
864  }
865
866  p,
867  pre,
868  ul,
869  ol {
870    margin: 0.625rem;
871  }
872
873  .pkg-synopsis {
874    display: none;
875  }
876
877  img.gopher {
878    display: none;
879  }
880}
881
882@media (max-width: 30em) {
883  #heading-wide {
884    display: none;
885  }
886  #heading-narrow {
887    display: block;
888  }
889}
890
891@media print {
892  pre {
893    background: #fff;
894    border: 0.0625rem solid #bbb;
895    white-space: pre-wrap;
896  }
897}
898
MembersX
Members
X