
html {
    overflow: auto;
}
body {
	margin: auto;
}
p{
  text-indent: 1ch;
  margin: 0;
}

h1,h2,h3,h4{
  color: #aa3333;
}

h1{ margin-left:0.3%;   color: #b32211; text-align: center; }
h2{ margin-left:0.8%;   color: #a72222; }
h3{ margin-left:1.0%;   color: #a33022; }
h4{ margin-left:1.3%;   color: #952923; }

pre, .src {
    box-shadow: 0px 0px 1px aquamarine;
    padding: 0.7%;
    overflow: scroll;
}
li{
        margin: 1ch;
}
p{
	margin-bottom: 1em;
}
@media (min-width: 100ch){
	body {
		width: 78ch;
		max-width: 100ch;
		line-height: 1.3;
	}
}
