body {
  margin: 0;
//  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
//  font-family: Lucida Console;
  font-family: Tahoma;
  font-size: 1rem;
  font-weight: 400;
  line-height: 1.3;
//  color: #212529;
//  color: grey;
  text-align: left;
  background-color: #fff;
}

pre {
	width: 100%;
	padding: 0;
	margin: 0;
	overflow: auto;
	overflow-y: hidden;
	font-size: 12px;
	line-height: 20px;
	background: #efefef;
	border: 1px solid #777;
//	background: url(lines.png) repeat 0 0;
}
.code {
	color: green;
}