/*
	Title:	Legacy stylesheet for articles/papers retained for use by
			HTML attachments to articles, eg /art10009880
	Author:	kai@aplteam.com sjt@5jt.com
 */

@font-face {
	font-family: APLFONT1, APLFONT2, monospace;
	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%}

/************************************************
MUST be at the end of the CSS file - when IE fails
on a font-face statement, it sometimes (not always)
ignores the rest of the CSS file!
*/

/* Try IE first, see above: */

@font-face {
    font-family: 'APLFont1';
    src: url("http://vector.org.uk/apl385.eot");
}

/* Now try local but embed in the end */
/* IE will fail on this for two reasons: */
/* 1. It cannot handle TTF fonts */
/* 2. It does not understand "local" */

@font-face {
	font-family: 'APLFont2';
	src:
	local("APL385 Unicode"),
	local("APLX Upright"),
	local("Courier APL2 Unicode"),
	local("SImPL"),
	local("SiMPL medium"),
	url("https://britishaplassociation.co.uk/resource/apl385.ttf") format("truetype");
}

/* end import/hide */