body {
  	font-family: "HelveticaNew-Regular", "Helvetica New Regular",
  				 "HelveticaNeue-Regular", "Helvetica Neue Regular",
  				 Helvetica, Arial, sans-serif;
  	margin: 1em 4em;
}
pre, div#main table {
	font-family: "Lucida Console", Monaco, monospace;
	line-height: 175%;
}
div#main table {
	width: 40%;
	overflow-wrap: normal;
	word-break: normal;
	hyphens: none;
	white-space: nowrap;	
}
div#main table th, 
div#main table td {
	padding-right: 1em;	
}

h1, h2, h3, h4, h5 {
		font-weight: normal;
		color: #555;
}

h1 { font-size: 200%; font-weight: normal; margin-bottom: 0.8em; line-height: 120%; }
h2 { font-size:170%; margin-top:1em; margin-bottom: 0.5em}                  /* 18px */
h3 { font-size:110%; font-weight:bold;  }                       /* ??px */
h4 { font-size:133.33%; }                    /* 16px */
h5 { font-size:116.67%; }                    /* 14px */
h6 { font-size:116.67%; }                    /* 14px */

a img {
	margin-bottom: -4px;
}

a {
	color: #04b;
}
a:visited {
	color: #48f;
}

pre a {
	padding-right: 1.6em;
}  

#intro { margin-bottom: 4ex; }
#intro P { font-size: 100%; }

#notes {
    position: relative;
    margin: 1em 0 2.5em;
    padding: 1em 1em 1em 5em;
    border: 1px solid #f0ad4e;
    background-color: #fff8e5;
    border-radius: 8px;
    font-size: 90%;
}

#notes::before {
    content: "\26A0\FE0F"; /* warning sign */
    position: absolute;
    left: 0.6em;
    top: 0.6em;
    font-size: 2em;
    line-height: 1;
}

#notes p:first-child {
    margin-top: 0;
}

#notes p:last-child {
    margin-bottom: 0;
}

#path { margin-bottom: 2ex; font-size: 91% }

#footer, #footer a {font-size: small; color: #555; }