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