@font-face {
	font-family:"APL385 Unicode";
	font-style:normal;
	font-weight:normal;
	src: url(http://www.dyalog.com/dfnsdws/aplsans0.eot);
	}
	
a {text-decoration:none}
a:hover {text-decoration:underline}
acronym {
	font-size:80%;
	letter-spacing:0.1em;
	text-transform:uppercase;
	}
body {
	font-family:Book Antiqua,Palatino,Georgia,Times New Roman,Times,serif;
	margin:3em;
	line-height:1.6em;
/*	max-width:40em; */
	}
blockquote {font:85%/1.4 Palatino}
h1,h2 {text-align:center}
h1 {font-size:1.7em;line-height:2em}
h2 {font-size:1.3em;line-height:1.8em}
h3 {font-size:100%;line-height:1.2em}
p {text-align:left}
pre {
	background:ivory;
	border:1px solid gray;
	font-size:90%;
	line-height:1.3em;
	padding:1em;
	margin:1em;
	}
div.exhibit pre {background:none;border:none;}
tt.apl {
	color:maroon;
	font-size:90%;
	}
#epigraph {
	font-size:80%;
	font-style:italic;
	margin:2em 0% 3em 60%;
	}
#title {letter-spacing:0.1em}

.apl {
	font-family:APL385 Unicode;
	}
.author {
	font-size:80%;
	font-style:italic;
	letter-spacing:0em;
	}
.caption {
	font:italic 85%/1.4 Palatino;
	margin-left:6em;margin-right:6em;
	}
.crumb {font-size:80%;margin-top:0px;}
.crumb img {border:none}
.first {margin-top:4em}
.highlight {background:yellow}
div.img {
	background:ivory;
	border:1px solid gray;
	margin:2em;
	}
.red {color:red}
.small {font-size:80%}