body {
	font-family: "PT Sans", sans-serif;
}

pre {
	tab-size: 3;
	-moz-tab-size: 3;
	-ms-tab-size: 3;
	-o-tab-size: 3;
	font-family: Tahoma, sans-serif;
	line-height: 1.35;
	font-size: 13.6px;
	clear: both;
}


a {
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

.eclass {
	color: blue;
}

.neclass {
	color: black;
}

.ekeyword {
	color: navy;
	font-weight: bold;
	font-size: 90%;
}

.esymbol {
	color: navy;
}

.eitag {
	color: sienna;
	font-weight: 95%;
}

.estring {
	color: indigo;
	font-weight: 95%;
}

.echar {
	color: indigo;
}

.enumber {
	color: MediumOrchid;
}

.etag {
	color: Teal; /*DarkOliveGreen;*/
}

.efeature {
	color: darkgreen;
}

.nefeature {
	color: black;
}

.ecomment {
	color: brown;
	font-weight: 80%;
}

.elocal, .equoted {
	color: RoyalBlue;
}

.ereserved {
	color: darkgreen;
	font-weight: bold;
}

.egeneric {
	color: dodgerblue;
}

.ecluster {
	color: maroon;
	font-variant: small-caps;
	font-weight: bold;
}

.necluster {
	color: black;
	font-variant: small-caps;
	font-weight: bold;
}

div.nav {
	display: flex;
	flex-wrap: wrap;
	justify-content: space-evenly;
}

a.nav,
label.nav,
span.nav
{
	flex-grow: 1;
	display: block;
	padding: 1ex 0.5em;
	text-decoration: none;
	text-align: center;
}

.nav.goto
{
	flex-grow: 10000;
	text-align: right;
}

input
{
	padding-top: 0px;
	padding-bottom: 0px;
	padding-left: 0.2em;
	margin: 0;
	border: none;
}

.nav
{
	color: black;
}

.nav.selected
{
	color: white;
}

.nav.hierarchy
{
	background-color: rgb(209,230,220);
}

.nav.hierarchy:hover {
	background-color: rgb(163,204,186);
}

.nav.hierarchy.selected
{
	background-color: rgb(85,155,123);
}

.nav.class
{
	background-color: rgb(178,209,240);
}

.nav.class:hover {
	background-color: rgb(157,196,236);
}

.nav.class.selected
{
	background-color: rgb(68,143,218);
}

.nav + pre {
	padding: 1ex 0.3em;
}

form + pre + form.nav + pre {
	padding: 0px;
}

#eiffelsoftware-menu {
        background:#101010 url(images/bkg.png) repeat-x scroll left bottom;
        font-family:"lucida grande",tahoma,verdana,arial,sans-serif;
        font-size:10px;
        text-align:left;
        width:100%;
        line-height:20px;
        padding: 4px 0 5px 0;
        margin: 0 0 0 0;
}

#eiffelsoftware-menu ul {
        list-style-type:none;
        z-index:99;
        margin: 0;
        padding: 0 0 0 20px;
}
#eiffelsoftware-menu div.es-menu-offset {
        display: inline;
        float: left;
        width: 10px;
}
#eiffelsoftware-menu div.es-menu-logo {
        display: inline;
        float: left;
        width: 18px;
        background:#101010 url(images/logo-es.jpg) no-repeat scroll 2px 0 ;
}

#eiffelsoftware-menu li {
        display: inline;
        padding:  0 0.5em;
        border-left:1px solid #535353;
}
#eiffelsoftware-menu li:first-child {
        border-left:none;
}
#eiffelsoftware-menu ul a {
        border-bottom:medium none;
        color:#EEEEEE;
        font-weight:normal;
        padding: 0 4px 0 4px;
        text-align:left;
        text-decoration:none;
}

#eiffelsoftware-menu ul a:hover {
        border-bottom: solid medium #969696;
        color:#ffffff;
}