body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  margin: 0px; 
  background-color: #000066; 
  color: #000000;
  padding: 0px ; 
}

/* "Software Solutions for Complex/Real Time Systems" in the top banner */
span.bannertext2 {
  color: white;
  background-color: #9999cc;
  font-size: 12px;
  font-style: italic;
  font-weight: bold;
}

div.content {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 11px;
  color: black;
  background-color: white;
  margin: 20px;
}

/* Light blue italic with full-width underline */
h1 {
  color: #333399;
  font-size: 120%;
  font-style: italic;
  border-bottom: 1px solid #333399;
}

h2 {
  font-size: 100%;
  color: #000000;
  font-weight: bold;
}

h3 {
  font-size: 100%;
  color: #666699;
}

div.leftnav {
  font-size: 80%;
}

div.leftnav h1 {
  color: black;
  font-size: 80%;
  font-style: normal;
}

table {
  background-color: #FFFFFF;
}
	
ul {
  list-style-image: url(images/li.gif);
}

a {
  text-decoration: none;
}

a:link {
  color: #006699;
}

a:hover {
  text-decoration: underline
}

.bold {
	font-weight: bold}

.title {
	FONT-SIZE: 14px; COLOR: #333399; FONT-FAMILY: Verdana, Arial, Helvetica, sans-serif; FONT-STYLE: italic}

.intro {
	FONT-SIZE: 14px; COLOR: #000000; FONT-FAMILY: Verdana, Arial, Helvetica, sans-serif; FONT-STYLE: italic}

.caption {
	FONT-SIZE: 10px; COLOR: #666699; FONT-FAMILY: Verdana, Arial, Helvetica, sans-serif; FONT-STYLE: italic}

.boldTitle {
	FONT-WEIGHT: bold; FONT-SIZE: 13px}

.italic {
	FONT-STYLE: italic}

.light {
	COLOR: #484848}

.small {
	FONT-SIZE: 10px}

.headerLnk {
	COLOR: #FFFFFF; LINE-HEIGHT: 18px}

.footerLnk {
	COLOR: #000000}

.sectionLnk {
	FONT-SIZE: 12px; COLOR: #ffffff}

.featureTitle
{
   FONT-FAMILY: Arial, Helvetica, sans-serif;
   font-size: 14px;
   font-weight: bold;
   color: #000000;}

.featureText
{
   FONT-FAMILY: Arial, Helvetica, sans-serif;
   font-size: 12px;
   color: #000000;}

.featureLnk {
	COLOR: #006699}

.search {
	WIDTH: 102px; HEIGHT: 17px}

.mynasa {
	WIDTH: 165px; HEIGHT: 17px}

.bannerLnk {
	FONT-WEIGHT: bold; FONT-SIZE: 12px; COLOR: #ffffff}

.bannerTxt {
	FONT-WEIGHT: bold; COLOR: #0398e8}

.navLnkBlack {
	COLOR: #000000; LINE-HEIGHT: 14px}

.navLnkBlue {
	COLOR: #006699; LINE-HEIGHT: 18px}

.navLnkRed {
	COLOR: #ff3333; LINE-HEIGHT: 18px}

.fact {
	FONT-SIZE: 13px; COLOR: #484848}

.factBlue {
	COLOR: #006699}

.factRed {
	COLOR: #ff3333}

.introLnk {
	FONT-WEIGHT: bold; FONT-SIZE: 12px; COLOR: #009eff}

.introTxt {
	FONT-SIZE: 12px; COLOR: #ffffff}

.featureLnkSelect {
	COLOR: #006699; TEXT-DECORATION: underline}

.boldFeature {
	FONT-WEIGHT: bold; COLOR: #006699}



.topcell { border: 0px solid #FFFFFF; border-top-width: 0px;  margin: 0; padding: 0; width:134
px; /*/*/ background-color: #FFFFFF;  line-height:13px; /* Let NS4 see the rest */ }

.cell { border: 0px solid #FFFFFF; border-top-width: 1px; margin: 0;  display : block; padding: 0; width:134
px; /*/*/ background-color: #9999cc;  line-height:13px;  /* Let NS4 see the rest */ }


.navcell { border: 1px solid #FFFFFF; border-top-width: 1px; margin: 0;  display : block; padding: 0; width:100;  
px; /*/*/ background-color: #000000;  line-height:13px;  /* Let NS4 see the rest */ }

.navmenulink { color: #333333; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px;  line-height:13px; padding: 2px; text-decoration: none;  width: 100
px; text-align:center; display : block; }

a.navmenulink:hover, a.navmenulink:active  {color: #FFFFFF; line-height:10px; text-decoration: none; background-color :#cc9933; border: 0px;  width:100
px; }

a.navmenulink:link, a.navmenulink:visited {color: #FFFFFF; line-height:13px; text-decoration: none;   border: 0px solid #FFFFFF; border-top-width: 0px; margin: 0; width:100
px;}


.menulink { color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: 11px; font-weight:bold; line-height:13px; padding: 2px; text-decoration: none; width: 134
px; text-align:left; display : block; }

a.menulink:hover, a.menulink:active  {color: #000000; line-height:10px; text-decoration: none; background-color :#cc9933; border: 0px;  width:134
px; }

a.menulink:link, a.menulink:visited {color: #000000; line-height:13px; text-decoration: none;   border: 0px solid #FFFFFF; border-top-width: 0px; margin: 0; width:134
px;}


.oncell {	border: 0px solid #FFFFFF; border-top-width: 1px; display : block; margin: 0; padding: 0; width:134
px; /*/*/ background-color: #000000; /* Let NS4 see the rest */ }

.onlink { color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: 11px; line-height:13px; padding: 2px; text-decoration: none; width: 134
px; text-align:left}

a.onlink:hover, a.onlink:active  {color: #FFFFFF; line-height:13px; text-decoration: none;  display: block;  width: 134
px; }

a.onlink:link, a.onlink:visited {color: #FFFFFF; line-height:13px; text-decoration: none; display: block; }


.career-item p {font-weight: bold; }