/* Hyperlink Styles */
a {
    text-decoration: none; 
    color: #555;
    font-family: Helvetica, Arial, FreeSans, sans-serif;
    font-size: 12px;
}

a:hover {color: #2C68A6;}

/* Hivemind Imported Styles */
.componentheading {
	font-size: 16pt;
	line-height: 100%;
	padding: 0;
	margin: 25px 0 20px 0;
	color: #2C68A6;
	font-family: Helvetica, Arial, FreeSans, sans-serif;
}

.contentheading {
	font-size: 140%;
	font-weight: normal;
	line-height: 110%;
        color: #2C68A6;
	padding-bottom: 8px;
	margin: 15px 0 0 0;
	font-family: Helvetica, Arial, FreeSans, sans-serif;
}

/* Essential Specific Styles */
.referencesection {
    font-size: 90%;
    font-weight: bold;
    margin-bottom: 5px;
    margin-top: 5px;    
	color: #555;
	font-family: Helvetica, Arial, FreeSans, sans-serif;
}


.referencehomeintro {   
    font-size: 12px;
	color: #555;
	font-family: Helvetica, Arial, FreeSans, sans-serif;
    margin-bottom: 5px;
}

.referencehomeintro a {  
	color: #2C68A6;
        text-decoration: underline;
}

.referencesectionintro {   
    font-size: 12px;
	color: #555;
	font-family: Helvetica, Arial, FreeSans, sans-serif;
    margin-bottom: 5px;
}

.referencesectionintro a { 
      font-size: 10px;  
	color: #2C68A6;
    margin-top: 3px;
}


/* List Styles */
.iconList { 
	list-style-type: none;
	/* top, right, bottom, left */
	margin: 0px 0px 0px 16px;
	padding-left: 0px;
	color: #555;
/*	color: #2C68A6; */
}

.iconListNoPad { 
	list-style-type: none;
	margin: 0px 0px 0px 0px;
	padding-left: 0px;
}

li.concreteClass
{
	background-image: url("images/class.gif");
	background-repeat: no-repeat;
        padding-top: 3px;
	padding-left: 16px;
	color: #2C68A6;
}

li.abstractClass
{
	background-image: url("images/class.abstract.gif");
	background-repeat: no-repeat;
        padding-top: 3px;
	padding-left: 16px;
	color: #2C68A6;
}

li.abstractClass a
{
	font-weight: bold;
	color: #2C68A6;
}


li.metaclass {
	background-image: url("images/class.metaclass.gif");
	background-repeat: no-repeat;
        padding-top: 3px;
	padding-left: 16px;
}

li.abstractMetaclass {
	background-image: url("images/class.metaclass.abstract.gif");
	background-repeat: no-repeat;
        padding-top: 3px;
	padding-left: 16px;
}

li.directInstance {
	background-image: url("images/instance.gif");
	background-repeat: no-repeat;
	padding-left: 16px;
}

li.slot {
	background-image: url("images/slot.gif");
	background-repeat: no-repeat;
	padding-left: 16px;
}

li.facet {
	background-image: url("images/facet.gif");
	background-repeat: no-repeat;
	padding-left: 16px;
}

/* Misc. */
.classBorder {
	background-color: #FFF;  /* #F0E6CA;  protege's class selection color */
	border: 1px solid;
	border-color: #BFBCB5; /* medium grey */
	padding: 2px;
}

.facetBorder {
	background-color: #FFE4E1; /* MistyRose */
	border: 1px solid;
	border-color: #BFBCB5; /* medium grey */
	padding: 2px;
}

.generalContent {
	background-color: #FFF;
	font-family: Helvetica, Arial, FreeSans, sans-serif;
	font-size: 12px;
	font-weight: normal;
	color: #555;
}

.generalContentBold {
	background-color: #FFF;
	font-family: Helvetica, Arial, FreeSans, sans-serif;
	font-size: 10px;
	font-weight: bold;
	color: #888;
}

.generalContentBold a {
	color: #C51E3A;
}

.heirarchyBorder {
	border: 1px solid;
	border-color: #BFBCB5; /* medium grey */
	padding-top: 5px;
	padding-bottom: 5px;
}

.instanceBorder {
	background-color: #FFF; /* protege's instance selection color */
	border: 1px solid;
	border-color: #BFBCB5; /* medium grey */
	padding: 2px;
}

.instances {
	background-color: #FFF; /* protege's instance selection color */
	line-height: 16px;
	/* top, right, bottom, left */
	margin: 2px 0px 2px 0px; 
	padding: 2px;
}

.legal {
	color: #327BAA;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
}

.mozillaTableHack {
	border: 1px solid #BFBCB5;
}

.pageTitle {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 18px;
	font-weight: bold;
	color: #555;
}

.sectionTitle {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	color: #555;
}

.sectionTitle td {
	background: #EFF2F3;
}

.sectionTitleItalic {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	font-style: italic;
	color: #555;
}

.slotBorder {
	background-color: #F0F8FF; /* AliceBlue */
	border: 1px solid;
	border-color: #BFBCB5; /* medium grey */
	padding: 2px;
}

.specialLink {
	color: #2C68A6;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
}

.instancesLink {
	color: #696969; /* dimgray */
	font-style: italic;
}