/* IE first */
@font-face {
	font-family: APLFont;
		src: 			
		url(http://www.dyalog.com/fonts/Apl385.eot);
}
@font-face {
	font-family: APLFont;
		src: 			
		local("APL385 Unicode"),
		url(http://www.dyalog.com/fonts/Apl385.ttf);
}

* {padding:0;margin:0;}
body {  
	background:url(_logo.gif) no-repeat 10px 10px #fff;
	color:#777;
	font-family:Georgia,"Times New Roman",Times,serif;
	font-size:medium;
	margin:50px 3em 1em 3em;
}
h1,h2 { 
	background:#ffd;
	color:#700;
	font-family:"Courier New",Courier,monospace;
	font-size:180%;
	font-weight:bold;
	letter-spacing:0.1em;
	margin:0 0 0.5em 0;
	padding:0.1em 0.5em;
}
p {
	margin:0 0 0.8em 0;
}
pre {   
	background:#f3f3f3;
	color:#500;
	font-family: APLFont, "APL385 Unicode", "APLX Upright", "Courier APL2 Unicode", "SImPL", "SiMPL medium", monospace;
        line-height:1.15em;font-size:100%;
        margin:1em 0;
        padding:1em 2em;
}
p#logo {
        border:1px dashed red;
        margin-left:-5000px;
        font-size:20px;
        height:25px;
        letter-spacing:0.2em;
        position:absolute; top:10px; left:10px;
        width:150px;
}
.small {font-size:80%}