<commit_before>/* CSS for GO play - a local go web service to compile and run go code. */
html {
	height: 100%;
}
body {
	color: black;
	padding: 0;
	margin: 0;
	width: 100%;
	height: 100%;
}
a {
	color: #009;
}
#wrap,
#about {
	padding: 5px;
	margin: 0;

	position: absolute;
	top: 50px;
	bottom: 25%;
	left: 0;
	right: 0;

	background: #FFD;
}
#about {
	display: none;
	z-index: 1;
	padding: 10px 40px;
	font-size: 16px;
	font-family: Georgia, serif;
	overflow: auto;
}
#about p {
	max-width: 520px;
}
#about ul {
	max-width: 480px;
}
#about li {
	margin-bottom: 1em;
}
#code, pre, .lines {
	font-family: Menlo, Courier New, monospace;
	font-size: 11pt;
}

#code {
	/* background: inherit;  -- doesn't work on Opera */
	background: #FFD;

	width: 100%;
	height: 100%;
	padding: 0; margin: 0;
	border: none;
	outline: none;
	resize: none;
	wrap: off;
	float: right;
}
/* #errors { */
/* 	top: 75%; */
/* 	bottom: 0; */
/* 	left: 0; */
/* 	right: 0; */
/* 	padding: 8px; */
/* 	border: 1px solid #375EAB; */
/* 	background: #FFFFFF; */
/* } */
#output .loading {
	color: #999;
}
#output.error {
	color: #900;
}
#banner {
	position: absolute;
	left: 0;
	right: 0;
	top: 0;
	height: 50px;
}
#head {
	float: left;
	padding: 8px;

	font-size: 30px;
	font-family: Georgia, serif;
}
#controls {
	float: left;
	padding: 10px;
}
#aboutControls {
	float: right;
	padding: 10px;
}

/* input[type=button] { */
/* 	height: 20px; */
/* 	border: 1px solid #ccc; */
/* 	font-size: 15px; */
/* 	background: #eee; */
/* 	color: black; */
/* } */

input[type=button]:hover {
	color: white;
	background: #666;
}
#shareURL {
	width: 350px;
	font-size: 16px;
	border: 1px solid #ccc;
	background: #eee;
	color: black;
}
.lines {
	float: left;
	overflow: hidden;
	text-align: right;
}
.lines div {
	padding-right: 5px;
	color: lightgray;
}
.lineerror {
	color: red;
	background: #FDD;
}
.exit {
	color: lightgray;
}

div.output {
  /* position: absolute; */
  left: 50%;
  top: 50%;
  right: 40px;
  bottom: 40px;
  min-height: 26px;
  background: #202020;
  padding: 5px 10px;
  z-index: 2;

  border-radius: 10px;
  -o-border-radius: 10px;
  -moz-border-radius: 10px;
  -webkit-border-radius: 10px;

}
div.output pre {
  margin: 0;
  padding: 0;
  background: none;
  border: none;<commit_msg>Cut tab width to 4 spaces.<commit_after>/* CSS for GO play - a local go web service to compile and run go code. */

/************* Customizable stuff *******************************/
/* What to you want for the tab width? */
textarea, pre { -moz-tab-size:4; -o-tab-size:4; -webkit-tab-size:4; tab-size:4; }

html {
	height: 100%;
}
body {
	color: black;
	padding: 0;
	margin: 0;
	width: 100%;
	height: 100%;
}
a {
	color: #009;
}
#wrap,
#about {
	padding: 5px;
	margin: 0;

	position: absolute;
	top: 50px;
	bottom: 25%;
	left: 0;
	right: 0;

	background: #FFD;
}
#about {
	display: none;
	z-index: 1;
	padding: 10px 40px;
	font-size: 16px;
	font-family: Georgia, serif;
	overflow: auto;
}
#about p {
	max-width: 520px;
}
#about ul {
	max-width: 480px;
}
#about li {
	margin-bottom: 1em;
}
#code, pre, .lines {
	font-family: Menlo, Courier New, monospace;
	font-size: 11pt;
}

#code {
	/* background: inherit;  -- doesn't work on Opera */
	background: #FFD;

	width: 100%;
	height: 100%;
	padding: 0; margin: 0;
	border: none;
	outline: none;
	resize: none;
	wrap: off;
	float: right;
}
/* #errors { */
/* 	top: 75%; */
/* 	bottom: 0; */
/* 	left: 0; */
/* 	right: 0; */
/* 	padding: 8px; */
/* 	border: 1px solid #375EAB; */
/* 	background: #FFFFFF; */
/* } */
#output .loading {
	color: #999;
}
#output.error {
	color: #900;
}
#banner {
	position: absolute;
	left: 0;
	right: 0;
	top: 0;
	height: 50px;
}
#head {
	float: left;
	padding: 8px;

	font-size: 30px;
	font-family: Georgia, serif;
}
#controls {
	float: left;
	padding: 10px;
}
#aboutControls {
	float: right;
	padding: 10px;
}

/* input[type=button] { */
/* 	height: 20px; */
/* 	border: 1px solid #ccc; */
/* 	font-size: 15px; */
/* 	background: #eee; */
/* 	color: black; */
/* } */

input[type=button]:hover {
	color: white;
	background: #666;
}
#shareURL {
	width: 350px;
	font-size: 16px;
	border: 1px solid #ccc;
	background: #eee;
	color: black;
}
.lines {
	float: left;
	overflow: hidden;
	text-align: right;
}
.lines div {
	padding-right: 5px;
	color: lightgray;
}
.lineerror {
	color: red;
	background: #FDD;
}
.exit {
	color: lightgray;
}

div.output {
  /* position: absolute; */
  left: 50%;
  top: 50%;
  right: 40px;
  bottom: 40px;
  min-height: 26px;
  background: #202020;
  padding: 5px 10px;
  z-index: 2;

  border-radius: 10px;
  -o-border-radius: 10px;
  -moz-border-radius: 10px;
  -webkit-border-radius: 10px;

}


div.output pre {
  margin: 0;
  padding: 0;
  background: none;
  border: none;
{'fraction_non_alphanumeric': 0.18994530921329406, 'fraction_numerical': 0.051114850652082454, 'mean_word_length': 3.1528384279475983, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5728556', 'n_tokens_mistral': 2267, 'n_tokens_neox': 2017, 'n_words': 540}