github.com/graybobo/golang.org-package-offline-cache@v0.0.0-20200626051047-6608995c132f/x/tools/godoc/static/style.css (about)

     1  body {
     2  	margin: 0;
     3  	font-family: Arial, sans-serif;
     4  	font-size: 16px;
     5  	background-color: #fff;
     6  	line-height: 1.3em;
     7  }
     8  pre,
     9  code {
    10  	font-family: Menlo, monospace;
    11  	font-size: 14px;
    12  }
    13  pre {
    14  	line-height: 1.4em;
    15  	overflow-x: auto;
    16  }
    17  pre .comment {
    18  	color: #006600;
    19  }
    20  pre .highlight,
    21  pre .highlight-comment,
    22  pre .selection-highlight,
    23  pre .selection-highlight-comment {
    24  	background: #FFFF00;
    25  }
    26  pre .selection,
    27  pre .selection-comment {
    28  	background: #FF9632;
    29  }
    30  pre .ln {
    31  	color: #999;
    32  }
    33  body {
    34  	color: #222;
    35  }
    36  a,
    37  .exampleHeading .text {
    38  	color: #375EAB;
    39  	text-decoration: none;
    40  }
    41  a:hover,
    42  .exampleHeading .text:hover {
    43  	text-decoration: underline;
    44  }
    45  p {
    46  	max-width: 800px;
    47  	word-wrap: break-word;
    48  }
    49  p,
    50  pre,
    51  ul,
    52  ol {
    53  	margin: 20px;
    54  }
    55  pre {
    56  	background: #EFEFEF;
    57  	padding: 10px;
    58  
    59  	-webkit-border-radius: 5px;
    60  	-moz-border-radius: 5px;
    61  	border-radius: 5px;
    62  }
    63  
    64  h1,
    65  h2,
    66  h3,
    67  h4,
    68  .rootHeading {
    69  	margin: 20px 0 20px;
    70  	padding: 0;
    71  	color: #375EAB;
    72  	font-weight: bold;
    73  }
    74  h1 {
    75  	font-size: 28px;
    76  	line-height: 1;
    77  }
    78  h2 {
    79  	font-size: 20px;
    80  	background: #E0EBF5;
    81  	padding: 8px;
    82  	line-height: 1.25;
    83  	font-weight: normal;
    84  }
    85  h2 a {
    86  	font-weight: bold;
    87  }
    88  h3 {
    89  	font-size: 20px;
    90  }
    91  h3,
    92  h4 {
    93  	margin: 20px 5px;
    94  }
    95  h4 {
    96  	font-size: 16px;
    97  }
    98  .rootHeading {
    99  	font-size: 20px;
   100  	margin: 0;
   101  }
   102  
   103  dl {
   104  	margin: 20px;
   105  }
   106  dd {
   107  	margin: 0;
   108  }
   109  dd.indent {
   110  	margin: 0 20px;
   111  }
   112  dl,
   113  dd {
   114  	font-size: 14px;
   115  }
   116  div#nav table td {
   117  	vertical-align: top;
   118  }
   119  
   120  
   121  .pkg-dir {
   122  	padding: 0 10px;
   123  }
   124  .pkg-dir table {
   125  	border-collapse: collapse;
   126  	border-spacing: 0;
   127  }
   128  .pkg-name {
   129  	padding-right: 10px;
   130  }
   131  .alert {
   132  	color: #AA0000;
   133  }
   134  
   135  .top-heading {
   136  	float: left;
   137  	padding: 21px 0;
   138  	font-size: 20px;
   139  	font-weight: normal;
   140  }
   141  .top-heading a {
   142  	color: #222;
   143  	text-decoration: none;
   144  }
   145  
   146  div#topbar {
   147  	background: #E0EBF5;
   148  	height: 64px;
   149  	overflow: hidden;
   150  }
   151  
   152  body {
   153  	text-align: center;
   154  }
   155  div#page {
   156  	width: 100%;
   157  }
   158  div#page > .container,
   159  div#topbar > .container {
   160  	text-align: left;
   161  	margin-left: auto;
   162  	margin-right: auto;
   163  	padding: 0 20px;
   164  }
   165  div#topbar > .container,
   166  div#page > .container {
   167  	max-width: 950px;
   168  }
   169  div#page.wide > .container,
   170  div#topbar.wide > .container {
   171  	max-width: none;
   172  }
   173  div#plusone {
   174  	float: right;
   175  	clear: right;
   176  	margin-top: 5px;
   177  }
   178  
   179  div#footer {
   180  	text-align: center;
   181  	color: #666;
   182  	font-size: 14px;
   183  	margin: 40px 0;
   184  }
   185  
   186  div#menu > a,
   187  div#menu > input,
   188  div#learn .buttons a,
   189  div.play .buttons a,
   190  div#blog .read a,
   191  #menu-button {
   192  	padding: 10px;
   193  
   194  	text-decoration: none;
   195  	font-size: 16px;
   196  
   197  	-webkit-border-radius: 5px;
   198  	-moz-border-radius: 5px;
   199  	border-radius: 5px;
   200  }
   201  div#playground .buttons a,
   202  div#menu > a,
   203  div#menu > input,
   204  #menu-button {
   205  	border: 1px solid #375EAB;
   206  }
   207  div#playground .buttons a,
   208  div#menu > a,
   209  #menu-button {
   210  	color: white;
   211  	background: #375EAB;
   212  }
   213  #playgroundButton.active {
   214  	background: white;
   215  	color: #375EAB;
   216  }
   217  a#start,
   218  div#learn .buttons a,
   219  div.play .buttons a,
   220  div#blog .read a {
   221  	color: #222;
   222  	border: 1px solid #375EAB;
   223  	background: #E0EBF5;
   224  }
   225  .download {
   226  	width: 150px;
   227  }
   228  
   229  div#menu {
   230  	text-align: right;
   231  	padding: 10px;
   232  	white-space: nowrap;
   233  	max-height: 0;
   234  	-moz-transition: max-height .25s linear;
   235  	transition: max-height .25s linear;
   236  	width: 100%;
   237  }
   238  div#menu.menu-visible {
   239  	max-height: 500px;
   240  }
   241  div#menu > a,
   242  #menu-button {
   243  	margin: 10px 2px;
   244  	padding: 10px;
   245  }
   246  div#menu > input {
   247  	position: relative;
   248  	top: 1px;
   249  	width: 140px;
   250  	background: white;
   251  	color: #222;
   252  	box-sizing: border-box;
   253  }
   254  div#menu > input.inactive {
   255  	color: #999;
   256  }
   257  
   258  #menu-button {
   259  	display: none;
   260  	position: absolute;
   261  	right: 5px;
   262  	top: 0;
   263  	margin-right: 5px;
   264  }
   265  #menu-button-arrow {
   266  	display: inline-block;
   267  }
   268  .vertical-flip {
   269  	transform: rotate(-180deg);
   270  }
   271  
   272  div.left {
   273  	float: left;
   274  	clear: left;
   275  	margin-right: 2.5%;
   276  }
   277  div.right {
   278  	float: right;
   279  	clear: right;
   280  	margin-left: 2.5%;
   281  }
   282  div.left,
   283  div.right {
   284  	width: 45%;
   285  }
   286  
   287  div#learn,
   288  div#about {
   289  	padding-top: 20px;
   290  }
   291  div#learn h2,
   292  div#about {
   293  	margin: 0;
   294  }
   295  div#about {
   296  	font-size: 20px;
   297  	margin: 0 auto 30px;
   298  }
   299  div#gopher {
   300  	background: url(/doc/gopher/frontpage.png) no-repeat;
   301  	background-position: center top;
   302  	height: 155px;
   303  }
   304  a#start {
   305  	display: block;
   306  	padding: 10px;
   307  
   308  	text-align: center;
   309  	text-decoration: none;
   310  
   311  	-webkit-border-radius: 5px;
   312  	-moz-border-radius: 5px;
   313  	border-radius: 5px;
   314  }
   315  a#start .big {
   316  	display: block;
   317  	font-weight: bold;
   318  	font-size: 20px;
   319  }
   320  a#start .desc {
   321  	display: block;
   322  	font-size: 14px;
   323  	font-weight: normal;
   324  	margin-top: 5px;
   325  }
   326  
   327  div#learn .popout {
   328  	float: right;
   329  	display: block;
   330  	cursor: pointer;
   331  	font-size: 12px;
   332  	background: url(/doc/share.png) no-repeat;
   333  	background-position: right top;
   334  	padding: 5px 27px;
   335  }
   336  div#learn pre,
   337  div#learn textarea {
   338  	padding: 0;
   339  	margin: 0;
   340  	font-family: Menlo, monospace;
   341  	font-size: 14px;
   342  }
   343  div#learn .input {
   344  	padding: 10px;
   345  	margin-top: 10px;
   346  	height: 150px;
   347  
   348  	-webkit-border-top-left-radius: 5px;
   349  	-webkit-border-top-right-radius: 5px;
   350  	-moz-border-radius-topleft: 5px;
   351  	-moz-border-radius-topright: 5px;
   352  	border-top-left-radius: 5px;
   353  	border-top-right-radius: 5px;
   354  }
   355  div#learn .input textarea {
   356  	width: 100%;
   357  	height: 100%;
   358  	border: none;
   359  	outline: none;
   360  	resize: none;
   361  }
   362  div#learn .output {
   363  	border-top: none !important;
   364  
   365  	padding: 10px;
   366  	height: 59px;
   367  	overflow: auto;
   368  
   369  	-webkit-border-bottom-right-radius: 5px;
   370  	-webkit-border-bottom-left-radius: 5px;
   371  	-moz-border-radius-bottomright: 5px;
   372  	-moz-border-radius-bottomleft: 5px;
   373  	border-bottom-right-radius: 5px;
   374  	border-bottom-left-radius: 5px;
   375  }
   376  div#learn .output pre {
   377  	padding: 0;
   378  
   379  	-webkit-border-radius: 0;
   380  	-moz-border-radius: 0;
   381  	border-radius: 0;
   382  }
   383  div#learn .input,
   384  div#learn .input textarea,
   385  div#learn .output,
   386  div#learn .output pre {
   387  	background: #FFFFD8;
   388  }
   389  div#learn .input,
   390  div#learn .output {
   391  	border: 1px solid #375EAB;
   392  }
   393  div#learn .buttons {
   394  	float: right;
   395  	padding: 20px 0 10px 0;
   396  	text-align: right;
   397  }
   398  div#learn .buttons a {
   399  	height: 16px;
   400  	margin-left: 5px;
   401  	padding: 10px;
   402  }
   403  div#learn .toys {
   404  	margin-top: 8px;
   405  }
   406  div#learn .toys select {
   407  	border: 1px solid #375EAB;
   408  	margin: 0;
   409  }
   410  div#learn .output .exit {
   411  	display: none;
   412  }
   413  
   414  div#video {
   415  	max-width: 100%;
   416  }
   417  div#blog,
   418  div#video {
   419  	margin-top: 40px;
   420  }
   421  div#blog > a,
   422  div#blog > div,
   423  div#blog > h2,
   424  div#video > a,
   425  div#video > div,
   426  div#video > h2 {
   427  	margin-bottom: 10px;
   428  }
   429  div#blog .title,
   430  div#video .title {
   431  	display: block;
   432  	font-size: 20px;
   433  }
   434  div#blog .when {
   435  	color: #666;
   436  	font-size: 14px;
   437  }
   438  div#blog .read {
   439  	text-align: right;
   440  }
   441  
   442  .toggleButton { cursor: pointer; }
   443  .toggle .collapsed { display: block; }
   444  .toggle .expanded { display: none; }
   445  .toggleVisible .collapsed { display: none; }
   446  .toggleVisible .expanded { display: block; }
   447  
   448  table.codetable { margin-left: auto; margin-right: auto; border-style: none; }
   449  table.codetable td { padding-right: 10px; }
   450  hr { border-style: none; border-top: 1px solid black; }
   451  
   452  img.gopher {
   453  	float: right;
   454  	margin-left: 10px;
   455  	margin-bottom: 10px;
   456  	z-index: -1;
   457  }
   458  h2 { clear: right; }
   459  
   460  /* example and drop-down playground */
   461  div.play {
   462  	padding: 0 20px 40px 20px;
   463  }
   464  div.play pre,
   465  div.play textarea,
   466  div.play .lines {
   467  	padding: 0;
   468  	margin: 0;
   469  	font-family: Menlo, monospace;
   470  	font-size: 14px;
   471  }
   472  div.play .input {
   473  	padding: 10px;
   474  	margin-top: 10px;
   475  
   476  	-webkit-border-top-left-radius: 5px;
   477  	-webkit-border-top-right-radius: 5px;
   478  	-moz-border-radius-topleft: 5px;
   479  	-moz-border-radius-topright: 5px;
   480  	border-top-left-radius: 5px;
   481  	border-top-right-radius: 5px;
   482  
   483  	overflow: hidden;
   484  }
   485  div.play .input textarea {
   486  	width: 100%;
   487  	height: 100%;
   488  	border: none;
   489  	outline: none;
   490  	resize: none;
   491  
   492  	overflow: hidden;
   493  }
   494  div#playground .input textarea {
   495  	overflow: auto;
   496  	resize: auto;
   497  }
   498  div.play .output {
   499  	border-top: none !important;
   500  
   501  	padding: 10px;
   502  	max-height: 200px;
   503  	overflow: auto;
   504  
   505  	-webkit-border-bottom-right-radius: 5px;
   506  	-webkit-border-bottom-left-radius: 5px;
   507  	-moz-border-radius-bottomright: 5px;
   508  	-moz-border-radius-bottomleft: 5px;
   509  	border-bottom-right-radius: 5px;
   510  	border-bottom-left-radius: 5px;
   511  }
   512  div.play .output pre {
   513  	padding: 0;
   514  
   515  	-webkit-border-radius: 0;
   516  	-moz-border-radius: 0;
   517  	border-radius: 0;
   518  }
   519  div.play .input,
   520  div.play .input textarea,
   521  div.play .output,
   522  div.play .output pre {
   523  	background: #FFFFD8;
   524  }
   525  div.play .input,
   526  div.play .output {
   527  	border: 1px solid #375EAB;
   528  }
   529  div.play .buttons {
   530  	float: right;
   531  	padding: 20px 0 10px 0;
   532  	text-align: right;
   533  }
   534  div.play .buttons a {
   535  	height: 16px;
   536  	margin-left: 5px;
   537  	padding: 10px;
   538  	cursor: pointer;
   539  }
   540  .output .stderr {
   541  	color: #933;
   542  }
   543  .output .system {
   544  	color: #999;
   545  }
   546  
   547  /* drop-down playground */
   548  #playgroundButton,
   549  div#playground {
   550  	/* start hidden; revealed by javascript */
   551  	display: none;
   552  }
   553  div#playground {
   554  	position: absolute;
   555  	top: 63px;
   556  	right: 20px;
   557  	padding: 0 10px 10px 10px;
   558  	z-index: 1;
   559  	text-align: left;
   560  	background: #E0EBF5;
   561  
   562  	border: 1px solid #B0BBC5;
   563  	border-top: none;
   564  
   565  	-webkit-border-bottom-left-radius: 5px;
   566  	-webkit-border-bottom-right-radius: 5px;
   567  	-moz-border-radius-bottomleft: 5px;
   568  	-moz-border-radius-bottomright: 5px;
   569  	border-bottom-left-radius: 5px;
   570  	border-bottom-right-radius: 5px;
   571  }
   572  div#playground .code {
   573  	width: 520px;
   574  	height: 200px;
   575  }
   576  div#playground .output {
   577  	height: 100px;
   578  }
   579  
   580  /* Inline runnable snippets (play.js/initPlayground) */
   581  #content .code pre, #content .playground pre, #content .output pre {
   582          margin: 0;
   583          padding: 0;
   584          background: none;
   585          border: none;
   586  	outline: 0px solid transparent;
   587          overflow: auto;
   588  }
   589  #content .playground .number, #content .code .number {
   590          color: #999;
   591  }
   592  #content .code, #content .playground, #content .output {
   593  	width: auto;
   594          margin: 20px;
   595          padding: 10px;
   596          -webkit-border-radius: 5px;
   597          -moz-border-radius: 5px;
   598          border-radius: 5px;
   599  }
   600  #content .code, #content .playground {
   601          background: #e9e9e9;
   602  }
   603  #content .output {
   604          background: #202020;
   605  }
   606  #content .output .stdout, #content .output pre {
   607          color: #e6e6e6;
   608  }
   609  #content .output .stderr, #content .output .error {
   610          color: rgb(244, 74, 63);
   611  }
   612  #content .output .system, #content .output .exit {
   613          color: rgb(255, 209, 77)
   614  }
   615  #content .buttons {
   616          position: relative;
   617          float: right;
   618          top: -50px;
   619          right: 30px;
   620  }
   621  #content .output .buttons {
   622          top: -60px;
   623          right: 0;
   624          height: 0;
   625  }
   626  #content .buttons .kill {
   627          display: none;
   628          visibility: hidden;
   629  }
   630  a.error {
   631  	font-weight: bold;
   632          color: white;
   633  	background-color: darkred;
   634          border-bottom-left-radius: 4px;
   635          border-bottom-right-radius: 4px;
   636          border-top-left-radius: 4px;
   637          border-top-right-radius: 4px;
   638          padding: 2px 4px 2px 4px; /* TRBL */
   639  }
   640  
   641  
   642  #heading-narrow {
   643  	display: none;
   644  }
   645  
   646  .downloading {
   647  	background: #F9F9BE;
   648  	padding: 10px;
   649  	text-align: center;
   650  	border-radius: 5px;
   651  }
   652  
   653  @media (max-width: 930px) {
   654  	#heading-wide {
   655  		display: none;
   656  	}
   657  	#heading-narrow {
   658  		display: block;
   659  	}
   660  }
   661  
   662  
   663  @media (max-width: 760px) {
   664  	.container .left,
   665  	.container .right {
   666  		width: auto;
   667  		float: none;
   668  	}
   669  
   670  	div#about {
   671  		max-width: 500px;
   672  		text-align: center;
   673  	}
   674  }
   675  
   676  @media (min-width: 700px) and (max-width: 1000px) {
   677  	div#menu > a {
   678  		margin: 5px 0;
   679  		font-size: 14px;
   680  	}
   681  
   682  	div#menu > input {
   683  		font-size: 14px;
   684  	}
   685  }
   686  
   687  @media (max-width: 700px) {
   688  	body {
   689  		font-size: 15px;
   690  	}
   691  
   692  	pre,
   693  	code {
   694  		font-size: 13px;
   695  	}
   696  
   697  	div#page > .container {
   698  		padding: 0 10px;
   699  	}
   700  
   701  	div#topbar {
   702  		height: auto;
   703  		padding: 10px;
   704  	}
   705  
   706  	div#topbar > .container {
   707  		padding: 0;
   708  	}
   709  
   710  	#heading-wide {
   711  		display: block;
   712  	}
   713  	#heading-narrow {
   714  		display: none;
   715  	}
   716  
   717  	.top-heading {
   718  		float: none;
   719  		display: inline-block;
   720  		padding: 12px;
   721  	}
   722  
   723  	div#menu {
   724  		padding: 0;
   725  		min-width: 0;
   726  		text-align: left;
   727  		float: left;
   728  	}
   729  
   730  	div#menu > a,
   731  	div#menu > input {
   732  		display: block;
   733  		margin-left: 0;
   734  		margin-right: 0;
   735  	}
   736  
   737  	div#menu > input {
   738  		width: 100%;
   739  	}
   740  
   741  	#menu-button {
   742  		display: inline-block;
   743  	}
   744  
   745  	p,
   746  	pre,
   747  	ul,
   748  	ol {
   749  		margin: 10px;
   750  	}
   751  
   752  	.pkg-synopsis {
   753  		display: none;
   754  	}
   755  
   756  	img.gopher {
   757  		display: none;
   758  	}
   759  }
   760  
   761  @media (max-width: 480px) {
   762  	#heading-wide {
   763  		display: none;
   764  	}
   765  	#heading-narrow {
   766  		display: block;
   767  	}
   768  }
   769  
   770  @media print {
   771  	pre {
   772  		background: #FFF;
   773  		border: 1px solid #BBB;
   774  		white-space: pre-wrap;
   775  	}
   776  }