/* layout */

h1.page {
	font-size: 10px;
	height: 17px;
	color: white;
}

.off {
	display: none;
}

a {
	text-decoration: none;
}

img {
	border: 0px;
}



/* typography */

body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9px;
}



/* inactive machine is just like active link */

span.machine_inactive {
	background-repeat: no-repeat;
	background-position: left center;
	background-image: url(icons/machine_inactive.gif);
	padding: 1px 3px 1px 16px;
}



/* more content layout */

p {
	text-align: left;
	line-height: 1.6em;
}

div.machine, div.abstract, div.abstract_empty, div.diagram, div.bibliography {
	clear: both;
	padding-top: 10px !important;
	text-align: left;
}

span.software_pilcrow {
	position: relative;
	display: block;
	height: 32px;
	border-width: 0px;
	margin-bottom: 10px;
	background-image: url(icons/pilcrow.png);
	background-position: center center;
	background-repeat: no-repeat;
	clear: both;
}

div.abstract {
	padding-bottom: 0px !important;
}

div.abstract:first-child, div.machine:first-child, div.bibliography:first-child {
	border-top-width: 0px;
}

div.abstract, div.abstract_empty {
	margin-bottom: 2px !important;
}

div.machine {
	margin-bottom: 0px !important;
}

div.bibliography {
	margin-bottom: 0px !important;
}

h1.bibliography_description, h1.diagram_description {
	padding-top: 0px !important;
}

h1.bibliography_description, h1.diagram_description, h1.machine_description, h1.abstract_description {
	margin-top: -14px !important;
}

ul.bibliography_letter {
	display: block;
}

.abstract p.error, p.error, .machine p.error {
	display: block;
	color: white;
	font-family: Georgia, Times, "Times New Roman", serif;
	background-image: url(backgrounds/dotted.gif);
	text-align: left !important;
	font-size: 100px;
	line-height: 120px;
	padding: 0px !important;
}

.abstract p.error, p.error, .machine p.error {
	margin-left: -18px;
	margin-right: -18px;
	margin-top: -13px;
	margin-bottom: -11px;
}

.bibliography_type {
	color: rgb(85%, 85%, 85%);
}

.clicktostart {
	color: rgb(50%, 50%, 50%);
}

.link {
	color: rgb(60%, 60%, 60%);
}

.linearizer_contents, p.linearizer_contents, p.machine_description, p.abstract_description, p.diagram_description, p.bibliography_header, .diagramdef, .machinedef, .abstract p, ul.machinedescription > li {
	font-size: 11px;
	font-weight: lighter;
	text-align: justify !important;
	line-height: 1.5em;
}

ul.bibliography_definition {
	font-family: Courier, "Courier New", monospace;
	font-size: 11px;
	text-align: justify;
	line-height: 1.5em;
	list-style: none;
	margin-top: 0px;
	padding-left: 0px;
	margin-bottom: 0px;
}

/* citation */

blockquote.citation_quote {
	font-family: Georgia, Times, "Times New Roman", serif;
	font-size: 12px;
	line-height: 1.5em !important;
	font-weight: lighter;
}

blockquote.citation_quote {
	margin: 0px;
	margin-top: -10px;
	margin-left: 20px;
	margin-right: 20px;
}

blockquote.citation_quote p {
	font-style: italic;
}

blockquote.citation_quote p em {
	font-style: normal;
}

span.citation_signature {
	font-style: normal;
}

h1.citation_author, span.citation_signature {
	margin: 0px;
	font-family: Courier, "Courier New", monospace;
	font-size: 11px;
	text-align: right;
	font-weight: lighter;
}

.citation_quote {
	background-image: url(./backgrounds/quote.gif) !important;
	background-repeat: no-repeat;
	background-position: 0px 0px;
	margin-left: 0px;
	/*padding-left: 20px;*/

}

blockquote.citation_quote {
	margin-top: 10px;
	text-align: justify;
}

blockquote.citation_quote:first-letter, blockquote.citation_quote p:first-letter {
	padding-left: 20px;
}

p.citation_quote:first-letter {
	padding-left: 20px;
}

span.citation_end {
	background-image: url(./backgrounds/quote_close.gif) !important;
	background-repeat: no-repeat;
	background-position: 0px 0px;
	color: white;
	padding-left: 20px;
	width: 20px;
	height: 20px;
}

span.citation_signature {
	text-align: right;
	display: block;
	margin-top: 0.25em;
	margin-right: 20px;
}



/* link stuff */

ul.machinelist > li, ul.machinedescription > li, ul.diagramlist > li, ul.bibliography_description {
	list-style: none;
	line-height: 1.6em;
	text-align: left;
}

ul.machinelist > li, li.abstract_links, li.diagram_links, ul.diagramlist > li, li.abstract_links, li.link_machines, li.classes_links {
	font-family: Courier, "Courier New", monospace !important;
	font-size: 11px;
	font-weight: normal;
}

ul.machinelist {
	margin-top: 20px;
}

ul, li {
	list-style: none;
}


ul.link_machines, li.link_machines, ul.diagram_links, li.diagram_link {
	list-style: none;
	text-align: left;
}

ul.link_machines, ul.diagram_links, ul.abstract_links, ul.bibliography_description {
	margin-top: 0px;
	padding-left: 0px;
}

ul.diagramlist {
	margin-top: 20px;
	padding-left: 0px;
}

li.link_machines, li.diagram_links, li.abstract_links, li.classes_links {
	margin-top: 5px !important;
}

span.illustration_block {
	position: relative;
	display: inline;
	margin-left: 2px;
	margin-right: 2px;
	text-align: right;
}

img.illustration_image {
	border-width: 1px;
	border-style: dotted;
	border-color: rgb(70%,70%,70%);
	padding: 1px;
	text-align: right;
}

span.illustration_title {
	/*display: none;*/
}

.machineimage {
	float:left;
	border-width: 1px;
	border-style: dotted;
	border-color: rgb(50%,50%,50%);
	padding: 2px !important;
	padding-bottom: 0px !important;
	/*margin: 15px !important;*/
	margin-right: 15px;
	margin-left: -5px;
	margin-top: 0px;
	margin-bottom: 7px;
}

div.diagram_applet {
	float:left;
	border-width: 1px;
	border-style: dotted;
	border-color: rgb(50%,50%,50%);
	padding: 2px !important;
	padding-bottom: 0px !important;
	margin-right: 15px;
	margin-left: -5px;
	margin-top: 0px;
	margin-bottom: 7px;
}

div.machinedef {
	display: inline;
}

li.abstract_links {
	margin-top: 10px;
}

pre.code {
	font-family: Monaco, "Andale Mono", Courier, "Courier New", monospace;
	font-size: 11px;
	background-color: rgb(90%,90%,90%);
	color: rgb(30%,30%,30%);
	line-height: 1.5em;
	font-weight: bold;
	padding: 5px;
	border-width: 1px;
	border-style: dashed;
	border-color: white;
}

span.microphone, span.camera {
	background-repeat: no-repeat;
	background-position: right center;
	padding: 1px 14px 2px 2px;
	color: rgb(0%, 0%, 0%);
}

span.microphone {
	background-image: url(icons/microphone.gif);
}

span.camera {
	background-image: url(icons/camera.gif);
}

/* abstract */

code {
	display: block;
	margin-top: 10px;
	margin-bottom: 10px;
}

h3.abstractname > a {
	margin-left: 6px;
	padding: 2px 4px 12px 50px;
	background-repeat: no-repeat;
	background-position: left center;
}

h3.abstractname > a:link, h3.abstractname > a:visited {
	color: rgb(0%, 0%, 100%);
	/*background-color: none;*/
	background-image: url(icons/abstract_h3.png);
}

h3.abstractname > a:hover {
	color: rgb(100%,100%,100%);
	background-color: rgb(0%, 0%, 100%);
	background-image: url(icons/abstract_h3_hover.png);
}

h3.abstractname > a:active {
	color: rgb(0%, 0%, 100%);
	background-color: #eee;
	background-image: url(icons/abstract_h3.png);
}

h1.page {
	color: white !important;
}

div.abstract_empty {
	height: 400px;
}

h3.abstractname, a.machine_name, a.diagram_name, a.am_machine_name, a.linearizer_title {
	font-size: 64px;
	font-family: Georgia, Garamond, "Times New Roman", Times, serif;
	font-weight: lighter !important;
	/*padding-bottom: 0px !important;
	padding-top: 0px !important;*/
	margin-top: 20px;
	margin-bottom: 10px;
	margin-left: -14px;
	line-height:20px !important;
	text-transform: lowercase;
	display: block;
	text-align: left !important;
}

.machine_name, .machinelist, .machinelist li {
	z-index: 5 !important;
}

p.abstractdef {
	display: inline;
}

.abstract p {
	line-height: 1.6em;
}

span.click {
	color: rgb(255,192,255);
}

span.arrow {
	color: transparent;
	background-image: url(icons/arrow.gif);
	background-position: 0px 5px;
	background-repeat: no-repeat;
	margin-left: 4px;
	margin-right: 4px;
}