:root {
	--base-font: 15px;
}

body {
  font-family: consolas, monospace;
  font-size: var(--base-font);
  margin: 2% auto;
  width: 90%;
  /*max-width: 500px;*/
  color: #111;
  background: #f2f2f2;
  line-height: 1.8;
  text-shadow: 0 1px 0 #ffffff;
  overflow-x: hidden;
  box-sizing: border-box;
}

h1 { font-size: 19px; }
h2 { font-size: 17px; }
h3 { font-size: var(--base-font) }
h4 { font-size: var(--base-font); margin-left:10px; }

a {
  border-bottom: 1px solid #03c;
  color: #03c;
  text-decoration: none;
}
p {
	padding-left: 10px;
}
ul {
	padding-left: 20px;
	line-height:1.7;
}
ul:first-child {
	padding-left:10px;
}
pre {
	margin-left: 10px;
	padding: 10px;
	border-left: #aaa 1px solid;
	overflow-x: scroll;
}
hr {
  height: 1px;
  border: none;
  background-color: #999;
  margin: 30px auto;
  width: 100%;
  text-align: center;
}