/* DOCUMENT DISPLAY/PRINT INSTRUCTIONS */
@page {
	margin: 6%;
}

@media print {
	table {
		page-break-after: avoid;
		page-break-inside: avoid;
	}
	h6 {
		page-break-after: avoid;
		page-break-inside: avoid;
	}
	h5 {
		page-break-after: avoid;
		page-break-inside: avoid;
	}
	h4 {
		page-break-after: avoid;
		page-break-inside: avoid;
	}
	h3 {
		page-break-after: avoid;
		page-break-inside: avoid;
	}
	h2 {
		page-break-after: avoid;
		page-break-inside: avoid;
	}
	h1 {
		page-break-after: avoid;
		page-break-inside: avoid;
	}
	div.definition {
		page-break-inside: avoid;
	}
	tr {
		page-break-inside: avoid;
	}
	td {
		page-break-inside: avoid;
	}
	ul {
		page-break-inside: avoid;
	}
	ol {
		page-break-inside: avoid;
	}
	dl {
		page-break-inside: avoid;
	}
	blockquote {
		page-break-inside: avoid;
	}
	pre {
		page-break-inside: avoid;
	}
	table.headerfooter {
		display:none;
	}
	
	a {
		border: none;
		outline: none;
	}
}

/* PAGE PROPERTIES */
body {
	font-family: Verdana, arial, helvetica, sans-serif;
	font-size: 12px;
	line-height: 20px;
}

p {
	line-height: 20px;
}

div {
	line-height: 20px;
}

span {
	line-height: 20px;
}

ul {
	line-height: 20px;
}

li {
	line-height: 20px;
}

a img {
	border: none;
	background:none
}

a:visited {
	color: black;
	border: 1px black dotted;
	text-decoration: none;
}

a:link {
	color: black;
	border: 1px black dotted;
	text-decoration: none;
	padding: 0px;
/*	white-space: nowrap; */
}

a:hover, table.chartandschema th a:hover {
	background: #7A5A5A;
	color: black;
}


a:hover img{
	background: inherit
}

h1 {
	margin-top: 2em;
	line-height: 130%;
	font-size:3em;
}

h2 {
	margin-top: 2em;
	line-height: 130%;
	font-size:2em;
}

h3 {
	margin-top: 2em;
	line-height: 130%;
	font-size:1.5em;
}

h4 {
	font-size:1.2em;
	font-weight:bold
}

h5 {
	font-size:1em;
	font-weight:bold
}

h6 {
	font-size:0.8em;
	font-weight:bold
}



/* SECTION STYLES */
div.example {
	background: #D3D3D3;/*ThreeDFace;*/
	padding: 1em;
	border-width: 1px;
	border-color: black;
	border-style: solid;
	margin-top: 3em;
	margin-bottom: 1em;
	line-height: 20px;
}

div.definition {
	background: #A07C64;
	padding: 1em;
	border-width: 1px;
	border-color: black;
	border-style: solid;
	margin-top: 3em;
	margin-bottom: 1em;
	line-height: 20px;
}

/* TABULARIZED DEFINITIONS */
table.definition {
	width: 100%;
	table-layout: fixed;
}

table.definition td {
	/*width: 50%;*/
	padding-left: 10px;
	padding-right: 10px;
	vertical-align: top;
}

div.sample_text {
	margin: 1em 1em 3em 3em;
	color: #606060;
}

div.sample_text a {
	color: #606060;
}

div.sample_text a:hover {
	color: black; 
}

div.abstract {
	font-size: 0.9em;
}

pre.program {
	font-size: 15px;
/*	width: 50em;*/
	border: 1px solid black;
	overflow: scroll;
	background-color: silver;
	padding: 10px;
	line-height: 1.1em;
	margin-top: 1em;
	margin-bottom: 1em;
}


/* PARAGRAPH STYLES */
p.pagetitle {
	line-height: 130%;
	font-size: 3.5em;
	font-weight: bold;
}

p.subtitle {
	line-height: 130%;
	font-size: 2em;
	font-weight: bold;
}

p.date, p.author {}

.draft, td.draft a {
	color: #FF0000;
}

p.quote {
	font-size: 16px;
	font-family: Garamond, Times-New-Roman, Times;
	color: #880000;
	text-align: Right;
	margin-top: 1em;
	margin-bottom: 1em;
}

img.chart {
	border: 1px #7A5A5A ridge;
	padding: 1em	
}

/* COMMON MATH STYLES */
.mathsymbol {
	font-family: "Euclid", "Symbol";
	padding: 1px;
	letter-spacing: 1px;
	font-size: 18px;
}

.psi {
	/*PowerSet and Interpretation*/
	font-family: "Euclid Math One";
	font-weight: bold;
	font-size: 17px;
	padding: 2px;
}

.superscript {
	/*
	font-family: Arial, Helvetica, sans-serif;
	font-size: xx-small;
	vertical-align: middle;
	position: relative;
	top: -0.7em;
	z-index:1;
	*/
	font-family: Arial, Helvetica, sans-serif;
	font-size: xx-small;
	vertical-align: super;
}

.subscript {
	/*
	font-family: Arial, Helvetica, sans-serif;
	font-size: xx-small;
	vertical-align: middle;
	position: relative;
	top: 0.7em;
	z-index:2;
	*/
	font-family: Arial, Helvetica, sans-serif;
	font-size: xx-small;
	vertical-align: sub;
}

.termdef {
	font-weight: bold;
	font-size: larger;
}

/* LEPUS 3 CSS RULES */
.structure {
	font-family: "Euclid Fraktur";
	font-size: 17px;
	padding: 2px;
}

/* TYPES */
.type {
	font-family: "Euclid Math Two";
	font-size: 17px;
	padding: 2px;
}

/* SCHEMAS */
table.schema {
	margin-left: auto;
	margin-right: auto;
	margin-top: 20px;
	margin-bottom: 20px;
	display: table;
	empty-cells: show;
	border-collapse: collapse;
	border-spacing: 0px 0px;
	border: none;
	width: 100%;
	table-layout: auto;
}

table.schema td.title {
	text-align: center;
	border: none;
	vertical-align: middle;
}

table.schema td.left {
	text-align: left;
	border: solid 0 #000;
	border-left-width: thin;
	padding-left: 5px;
	padding-top: 2px;
	padding-bottom: 2px;
}

table.schema td.leftbottom {
	text-align: left;
	border: solid 0 #000;
	border-left-width: thin;
	border-bottom-width: thin;
	padding-left: 5px;
	padding-top: 2px;
	padding-bottom: 2px;
}

table.schema td.bottom {
	border: solid 0 #000;
	border-bottom-width: thin;
}

table.schema td.top {
	border: solid 0 #000;
	border-top-width: thin;
}

/* DESIGN MODELS */
table.designmodel {
	border-collapse: collapse;
	border-spacing: 0px 0px 0px 0px;
	border-width: 1px 1px 1px 1px;
	border-style: solid solid solid solid;
	border-color: black;
	width: 100%;
	background-color: #FCFCFC;/*threedhighlight;*/
}

table.designmodel td.domain {
	padding-top: 20px;
	padding-bottom: 20px;
	padding-left: 10px;
	padding-right: 10px;
	white-space: normal;
	text-align: right;
	border-width: 1px 1px 1px 1px;
	border-collapse: collapse;
	border-spacing: 0px 0px 0px 0px;
	border-style: dashed hidden dashed solid;
	border-color: black;
	width:100%;
}

table.designmodel td.operator {
	padding-top: 20px;
	padding-bottom: 20px;
	padding-left: 0px;
	padding-right: 0px;
	white-space: nowrap;
	text-align: center;
	border-width: 1px 1px 1px 1px;
	border-collapse: collapse;
	border-spacing: 0px 0px 0px 0px;
	border-style: dashed hidden dashed hidden;
	border-color: black;
}

table.designmodel td.range {
	padding-top: 20px;
	padding-bottom: 20px;
	padding-left: 10px;
	padding-right: 10px;
	white-space: nowrap;
	text-align: left;
	border-width: 1px 1px 1px 1px;
	border-collapse: collapse;
	border-spacing: 0px 0px 0px 0px;
	border-style: dashed solid dashed hidden;
	border-color: black;
}

/* TABLE STYLES */
th {
	font-size: 12px;
	border-bottom: thick;
	border-bottom-color: black;
	font-weight:normal;
	background-color:silver;
}

td {
	font-size: 12px;
}

table.symbols {
	empty-cells: show;
	border-width: 1px 1px 1px 1px;
	border-collapse: collapse;
	border-color: #606060 #606060 black black;
	border-style: outset outset outset outset;
	margin-top: 10px;
	margin-bottom: 10px;
}

table.symbols th {
	white-space: nowrap;
	border-style: inset inset inset inset;
	border-color: black black black black;
	border-width: 1px 1px 1px 1px;
	padding: 5px;
}

table.symbols td {
	white-space: normal;
	border-style: inset inset inset inset;
	border-color: #606060 #606060 black black;
	border-width: 1px 1px 1px 1px;
	padding: 5px;
}

table.chartandschema {
	text-align:center;
}

table.chartandschema th a {
	font-size: 10px;
	font-weight:bold;
	color: #7A5A5A;
	margin-bottom: 2.5em;
	background-color:Window;
	border: 1px black dotted;
	text-decoration: none;
	padding: 0px;
}

table.chartandschema th {
	font-size: 10px;
	font-weight:bold;
	color: #7A5A5A;
	padding-bottom: 2em;
	background-color:Window;
}

table.chartandschema td {
	padding:2em 1em 0 1em;
	vertical-align: bottom;
}

/* Header and footer: */

table.headerfooter {
	width: 100%;
	background-color: #A07C64;
}

table.headerfooter td {
	padding:10px;
	font-size:10px;
	font-weight:bold;
}

table.headerfooter td.navbar {
	text-align:right
}

/* TERMS and ENTITIES */
.entity {
	font-family: "MS Mincho";
	font-size: 16px;
	padding: 1px;
	text-decoration: underline;
}

.constant {
	font-family: "MS Mincho";
	font-size: 16px;
	padding: 1px;
}

.variable {
	font-family: "Euclid";
	font-style: italic;
	font-size: 17px;
	padding: 1px;
}

/* RELATIONS, RELATION SYMBOLS and PREDICATE SYMBOLS */
.predicatesymbol {
	font-family: "Euclid";
	font-style: italic;
	font-size: 17px;
	padding: 1px;
	font-variant: small-caps;
}

.relationsymbol {
	font-family: "Euclid";
	font-style: italic;
	font-size: 17px;
	padding: 1px;
}

.relation {
	font-family: "Euclid";
	font-style: italic;
	font-size: 17px;
	text-decoration: underline;
	padding: 1px;
}