/*EXCEPT BODY, ABSOLUTELY KEEP EVERYTHING IN ALPHABETICAL ORDER!!!!!!*/

BODY, LI, TD
/***************************************************************************/
/* This BODY entry (only) taken, with a few changes, from ETH CS page:     */
/* (c) 2001, Department of Computer Science                                */
/* Author: Igor S. Bangerter, Email: bangerter@inf.ethz.ch                 */
/* Version: V 2.0, 04.07.2001 (Experimental)                               */
/* Based on CSS1/2 specification, http://www.w3c.org                       */
/***************************************************************************/
	{
	background-color: white;
	background-color: #FAF0E6;
	background-color: #F9EFE5;
	background-color: ivory;
	background-color: #F6D78D;
	background-color: #FEF4EA;
	background-color: white;
	color: #003366;
	color: black;
	/*font-family: Arial, Helvetica, sans-serif;*/
	/*font-family: Times;*/
	font-family: Verdana, Arial, Helvetica, Lucida, Sans-serif;
	font-size: 1.0em;
	border-bottom: 0;
	border-left: 0;
	border-right: 0;
	border-top: 0;
	margin-bottom: 0px;
	margin-left: 8px;
	margin-right: 5px;
	margin-top: 0px;
	padding-bottom: 0;
	padding-left: 0;
	padding-right: 0;
	padding-top: 0;
	}


/*ALPHABETICAL ORDER STARTS HERE*/

/* FOLLOWING STYLES ADAPTED FROM EIFFEL.COM -- (C) ISE, 2001 */

A {
    color: #1d38ff;
	text-decoration: none;
}

A:active {
	text-decoration: underline;
}

A:visited {
	text-decoration: none;
}

A:hover {
    text-decoration: underline;
    color:green;
}

A.buy {
	color: #cc0000;
	text-decoration: none;
}

A.download {
	color: #cc0000;
	text-decoration: none;
}

A.footer-link {
	color: #ffffff;
	font-weight: normal;
}

A.inparagraph {
}

A.menu-link {
    color: #0f3a89;
	font-weight: normal;
}

A.more {
	color: #cc0000;
	text-decoration: none;
}

A.navy {
	color: navy;
    font-weight: bold;
	text-decoration: none;
}
A.navysmall {
	color: navy;
    font-weight: bold;
	text-decoration: none;
}

A.paper {
	color: #00aa00;
	text-decoration: none;
}


A.rightlink {
}

A.top-menu-link {
	color: #61622e;
	font-weight: normal;
}

A.xref {
	font-size:100%;
}

blockquote {
	text-align: justify;
	font-style: italic;
}

blockquote.talks {
	margin-top: 2pt;
	margin-bottom: 6pt;
}

blockquote.talksbio {
	margin-top: 2pt;
	margin-bottom: 6pt;
	font-style: normal;
}

blogquote {
	margin-left:15%;
	margin-right:15%;
	text-align: justify;
	font-style: italic;
}

code {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 0.8em;;
}

em.ee-text {
	color: #003300;
}

em.ff-italics {
	color: black;
}

em.ff-bold {
	color: black;
    font-weight: bold;
}

H1 {
    color: #990000;
	font-size: 1.6em;;
    font-weight: bold;
	text-align: left;
    margin-top: 12pt;;
    margin-left: 0pt;;
	padding-bottom: 0px;
    padding-left: 0px;
    padding-right: 0px;
    padding-top: 4px;
}

H1.book {
    color: #0f3a89;
    font-size: 1.5em;
    font-weight: bold;
    text-align: left;
    margin: 0px;
    padding-bottom: 0px;
    padding-left: 0px;
    padding-right: 0px;
}

H1.stuck {
	margin-top: 4pt;
}
	
H2 {
	margin-top: 2px;
    margin-bottom: 0px;
    margin-left: 0px;
	margin-right:0%;
    background-color: #e6e6fa;
    background-color: #e0e0e0;
    background-color: #f3f3f3;
	color: #0f3a89;
    font-weight: bold;
	font-size: 1.2em;
    padding: 3px;
	border: 0px;
	border-color: 827db0;
	border-style: solid;
}

H2.a {
	margin-right:0%;
	font-size: 1.5em;
}

H2.biblio {
	margin-right:0%;
}

H2.blog {
	margin-top:25px;
}

H2.intable {
	margin-right:0%;
}

H3 {
    margin-bottom: 0pt;
    margin-left: 0pt;
    /*color: #0f3a89;*/
    color: navy;
    font-size: 1em;
    font-weight: bold;
    padding-bottom: 0.1mm;
    padding-left: 0mm;
    padding-right: 0mm;
    padding-top: 0mm;
}

H3.biblio {
    font-size: 0.9em;
	margin-top:15px;
	margin-bottom:5px;
	margin-right:0%;
	color:#006400;
}

H3.links {
    margin-left: 0pt;
    color: green;
    padding-bottom: -10mm;
    padding-top: -10mm;
	text-align: keft;
}

H3.talks {
    color: black;
    font-size: 0.9em;
    margin-top: 6pt;
    margin-bottom: 0pt;
    padding-bottom: 0pt;
}


H4 {
    margin-top: 0pt;
    margin-bottom: 0pt;
    margin-left: 0pt;
    color: #0f3a89;
    font-size: 0.8em;
    font-weight: normal;
	padding-bottom: 0.1mm;
    padding-left: 0mm;
    padding-right: 0mm;
    padding-top: 0mm;
}

HR {
    margin-bottom: 0px;
    margin-top: 0px;
	height: 1px;
    color: navy;
}

IMG {
	border: 0;
}

LI {
	font-size: 0.8em;
	padding-bottom: 8px;
	text-align: justify;
	vertical-align: top;
	color: #000000;
}

LI.quote {
    font-size: 0.8em;
    width: 90%;
    padding-bottom: 8px;
    text-align: justify;
    vertical-align: top;
    color: #005522;
}

OL {
	color: #0f3a89;
	list-style-image: none;
}

P {
	line-height: 1.25em;
	text-align: justify;
	vertical-align: top;
	margin-left: 0px;
	margin-top: 0.5em;
}

P.after-ul {
	margin-top: -1px;
}


P.bigger {
    font-size: 0.9em;
    text-align: justify;
    vertical-align: top;
    margin-left: 0px;
}

P.blockquote {
}


P.bullet {
	margin-top: 5px;
	margin-bottom: 10px;
}

P.credit {
    color: #005522;
    text-align: right;
    vertical-align: top;
    margin-left: 0px;
    padding-left: 45px;
    width: 90%;
}

P.nospace {
    margin-top: 2pt;
    margin-bottom: 0px;
	line-height: 1.1em;
	margin-top: 0;
}

P.quote {
    color: #005522;
    text-align: justify;
    vertical-align: top;
    margin-left: 0px;
    padding-left: 40px;
    width: 90%;
}

P.rr-entry {
	margin-top: 5pt;
}

P.rr-entry1 {
	margin-top: 0pt;
}

P.rightlink {
    text-align: left;
	font-size:0.8em;
}

P.smallprint {
	text-align: justify;
	font-size: 0.6em;
    color: #000000;
}

P.section {
    margin-top: 4pt;
}

P.space {
    margin-bottom: 6pt;
}

P.spacedown {
    margin-top: 1em;
    margin-bottom: 0.2em;
	/*line-height: 90%;*/
}

P.ul {
	margin-top: 5px;
}

PRE {
	font-family: Arial, Helvetica, sans-serif;
	margin-left: 5px;
	font-size:1.0em;
}

SPAN.box-subtitle-small {
    background: #ffffff;
    font-size: 0.6em;
    font-weight: normal;
    color: #0f3a89;
    vertical-align: top;
}

SPAN.information {
    color: #0f3a89;
}

SPAN.highlighted {
	color: #ff0000;
}

SPAN.normal {
}


STRONG {
	font-weight: bold; 
}

TABLE {
	margin-top: 0px;
    padding-top: 0px;
	padding-top: 0px;
    padding-bottom: 0px;
	margin: 0px;
	padding: 1px;
}

TABLE.box {
	background: #827db0;
	margin: 0px;
    border: 1px;
	border-color: #827db0;
    border-style: solid;
	padding: 0px;
}

TABLE.frame {
    background: #ffffff;
    margin: 0px;
    border: 1px;
	border-style: solid;
	border-color: #827db0;
    padding: 3px;
}

TABLE.invisible {
	background: none;
    padding: 0px;
    margin: 0px;
    border: 0px;
}

TABLE.menu {
	background: #baba78;
	text-align: center;
	margin: 0px;
	border: 1px;
	border-color: #baba78;
	border-style: solid;
	padding: 0px;
}

TABLE.region-menu {
    background: #827db0;
    margin: 0px;
    border: 1px;
    border-color: #827db0;
    border-style: solid;
    padding: 0px;
}

TD.ise {
    background: #ffffff;
	padding: 3px;
	text-align: justify;
	vertical-align: top;
}

TD.box-body {
	background: #ffffff;
    color: #000000;
    padding: 3px;
	vertical-align: top;
}

TD.box-row-title {
    background: #ffffff;
    font-weight: bold;
    color: #0f3a89;
    border-width: 0px 1px 0px 0px;
    border-color: #827db0;
    border-style: solid;
    padding: 3px;
    vertical-align: top;
}

TD.box-subtitle {
    background: #ffffff;
    font-weight: bold;
    color: #0f3a89;
    border-width: 0px 0px 1px 0px;
    border-color: #827db0;
    border-style: solid;
    padding: 3px;
    vertical-align: top;
}

TD.box-title {
	background: #e0ebfc;
    font-weight: bold;
    color: #0f3a89;
	border-width: 0px 0px 1px 0px;
	border-color: #827db0;
	border-style: solid;
    padding: 3px;
	vertical-align: top;
}

TD.how-to-buy {
    background: #e0ebfc;
    font-weight: normal;
    border-width: 1px, 0px, 0px, 0px;
    border-color: #cccccc;
    border-style: solid;
    padding: 8px;
    vertical-align: top;
}

TD.invisible {
    background: none;
    padding: 0px;
}

TD.menu-body {
	background: #ffffff;
	color: #0f3a89;
	padding: 3px;
	vertical-align: top;
}

TD.menu-title {
	background: #efefce;
	font-weight: bold;
	color: #61622e;
	border-width: 0px 0px 1px 0px;
	border-color: #baba78;
	border-style: solid;
	padding: 3px;
	vertical-align: top;
}

TD.more {
	background: #ffffff;
	padding: 3px;
	text-align: right;
	vertical-align: top;
}

TD.no-padding {
	background: #ffffff;
	padding: 0px;
	vertical-align: top;
}

TD.region-menu-title {
    background: #e0ebfc;
    font-weight: bold;
    color: #0f3a89;
    border-width: 0px;
    border-color: #827db0;
    border-style: none;
    padding: 3px;
    vertical-align: top;
}

TD.standard-footer {
	background: #006631;
	color: #ffffff;
	text-align: center;
	padding: 3px;
	vertical-align: top;
}

TD.standard-footer-fade {
    background: #006631;
    background-image: url(/images/eiffel/general/white-black-green_fade.png);
    background-repeat: repeat-x;
    color: #ffffff;
    text-align: center;
    padding: 3px;
}

TD.standard-header-border {
	background: #ffffff;
    background-image: url(/images/eiffel/general/beige-brown-white.png);
    background-repeat: repeat-x;
    color: #61622e;
    text-align: left;
    padding: 3px;
	vertical-align: top;
}

TD.standard-header-bottom {
    background: #efefce;
    color: #61622e;
    text-align: left;
	padding: 7px;
	vertical-align: top;
}

TD.standard-header-fade {
	background: #efefce;
	background-image: url(/images/eiffel/general/green-black-beige_fade.png);
    background-repeat: repeat-x;
    color: #61622e;
    text-align: left;
    padding: 3px;
	vertical-align: top;
}

TD.standard-header-top {
	background: #006631;
	color: #ffffff;
	text-align: center;
	padding: 3px;
	vertical-align: top;
}

TD.title {
    background: #e0ebfc;
	font-weight: bold;
	color: #0f3a89;
	padding: 3px;
	vertical-align: top;
}

TR.title {
	padding-top: 200pt;
	padding-top: 200pt;
	margin-top: 200pt;
	margin-bottom: 200pt;
}

SPAN, DIV, DD, DT, DL {
	text-align: justify;
	vertical-align: top;
}

UL {
	list-style-image: url(/images/eiffel/icons/hollow-bullet.png);
	border: 0px;
	text-align: justify;
	vertical-align: top;
	margin-top: 0em;
	margin-bottom: 0em;
}

UL.biblio {
	margin-top: 0px;
}


UL.next {
	margin-top: 6px;
}

UL.quote {
    list-style-image: none;
    border: 0px;
    text-align: justify;
    vertical-align: top;
    margin-bottom: 0px;i
    padding-left: 40px;
}



blockquote.twitter-tweet {
  display: inline-block;
  padding: 16px;
  margin: 10px 0;
  max-width: 468px;
  border: #ddd 1px solid;
  border-top-color: #eee;
  border-bottom-color: #bbb;
  border-radius: 5px;
  box-shadow: 0 1px 3px rgba(0,0,0,0.15);
  font: bold 14px/18px Helvetica, Arial, sans-serif;
  color: #000;
}

blockquote.twitter-tweet p {
  font: normal 18px/24px Georgia, "Times New Roman", Palatino, serif;
  margin: 0 5px 10px 0;
}

blockquote.twitter-tweet a[href^="https://twitter.com"] {
  font-weight: normal;
  color: #666;
  font-size: 12px;
}
a.twitter-timeline {
  /* Buttonish */
  display: inline-block;
  padding: 6px 12px 6px 30px;
  margin: 10px 0;
  border: #ccc solid 1px;
  border-radius: 3px;
  background: #f8f8f8 url(//platform.twitter.com/images/bird.png) 8px 8px no-repeat;
  /* Text */
  font: normal 12px/18px Helvetica, Arial, sans-serif;
  color: #333;
  white-space: nowrap;
}

a.twitter-timeline:hover,
a.twitter-timeline:focus {
  background-color: #dedede;
}

/* Color Highlight for keyboard navigation */

a.twitter-timeline:focus {
  outline: none;
  border-color: #0089cb;
}