golang.org/x/playground@v0.0.0-20230418134305-14ebe15bcd59/static/style.css (about)

     1  html {
     2  	height: 100%;
     3  }
     4  body {
     5  	color: black;
     6  	padding: 0;
     7  	margin: 0;
     8  	width: 100%;
     9  	height: 100%;
    10  }
    11  a {
    12  	color: #009;
    13  }
    14  #wrap,
    15  #about {
    16  	padding: 5px;
    17  	margin: 0;
    18  
    19  	position: absolute;
    20  	top: 50px;
    21  	bottom: 25%;
    22  	left: 0;
    23  	right: 0;
    24  
    25  	background: #FFD;
    26  }
    27  #about {
    28  	display: none;
    29  	z-index: 1;
    30  	padding: 10px 40px;
    31  	font-size: 16px;
    32  	font-family: sans-serif;
    33  	overflow: auto;
    34  }
    35  #about p {
    36  	max-width: 520px;
    37  }
    38  #about ul {
    39  	max-width: 480px;
    40  }
    41  #about li {
    42  	margin-bottom: 1em;
    43  }
    44  #code, #output, pre, .lines {
    45  	/* The default monospace font on OS X is ugly, so specify Menlo
    46  	 * instead. On other systems the default monospace font will be used. */
    47  	font-family: Menlo, monospace;
    48  	font-size: 11pt;
    49  }
    50  
    51  #code {
    52  	color: black;
    53  	background: inherit;
    54  
    55  	width: 100%;
    56  	height: 100%;
    57  	padding: 0; margin: 0;
    58  	border: none;
    59  	outline: none;
    60  	resize: none;
    61  	wrap: off;
    62  	float: right;
    63  }
    64  #output {
    65  	position: absolute;
    66  	top: 75%;
    67  	bottom: 0;
    68  	left: 0;
    69  	right: 0;
    70  	padding: 8px;
    71  }
    72  #output .system, #output .loading {
    73  	color: #999;
    74  }
    75  #output .stderr, #output .error {
    76  	color: #900;
    77  }
    78  #output pre {
    79  	margin: 0;
    80  }
    81  #banner {
    82  	display: flex;
    83  	flex-wrap: wrap;
    84  	align-items: center;
    85  	position: absolute;
    86  	left: 0;
    87  	right: 0;
    88  	top: 0;
    89  	height: 50px;
    90  	background-color: #E0EBF5;
    91  }
    92  #banner > * {
    93  	margin-top: 10px;
    94  	margin-bottom: 10px;
    95  	margin-right: 5px;
    96  	border-radius: 5px;
    97  	box-sizing: border-box;
    98  	height: 30px;
    99  }
   100  #head {
   101  	padding-left: 10px;
   102  	padding-right: 20px;
   103  	padding-top: 5px;
   104  	font-size: 20px;
   105  	font-family: sans-serif;
   106  }
   107  #aboutButton {
   108  	margin-left: auto;
   109  	margin-right: 15px;
   110  }
   111  input[type=button],
   112  #importsBox {
   113  	height: 30px;
   114  	border: 1px solid #375EAB;
   115  	font-size: 16px;
   116  	font-family: sans-serif;
   117  	background: #375EAB;
   118  	color: white;
   119  	position: static;
   120  	top: 1px;
   121  	border-radius: 5px;
   122  	-webkit-appearance: none;
   123  }
   124  #importsBox {
   125  	padding: 0.25em 7px;
   126  }
   127  #importsBox input {
   128  	flex: none;
   129  	height: 11px;
   130  	width: 11px;
   131  	margin: 0 5px 0 0;
   132  }
   133  #importsBox label {
   134  	display: flex;
   135  	align-items: center;
   136  	line-height: 1.2;
   137  }
   138  #shareURL {
   139  	width: 280px;
   140  	font-size: 16px;
   141  	border: 1px solid #ccc;
   142  	background: #eee;
   143  	color: black;
   144  }
   145  #embedLabel {
   146  	font-family: sans-serif;
   147  	padding-top: 5px;
   148  }
   149  #banner > select {
   150  	font-size: 0.875rem;
   151  	border: 0.0625rem solid #375EAB;
   152  }
   153  .lines {
   154  	float: left;
   155  	overflow: hidden;
   156  	text-align: right;
   157  }
   158  .lines div {
   159  	padding-right: 5px;
   160  	color: lightgray;
   161  }
   162  .lineerror {
   163  	color: red;
   164  	background: #FDD;
   165  }
   166  .exit {
   167  	color: lightgray;
   168  }
   169  
   170  .embedded #banner {
   171  	display: none;
   172  }
   173  .embedded #wrap {
   174  	top: 0;
   175  }
   176  #embedRun {
   177  	display: none;
   178  }
   179  .embedded #embedRun {
   180  	display: block;
   181  	position: absolute;
   182  	z-index: 1;
   183  	top: 10px;
   184  	right: 10px;
   185  }