(*): The content below has been archived for historical purposes. It contains historical information about projects and people from SRI International's Artificial
Intelligence Center. Current information is now available on AIC's website and of course you can
also visit SRI's AI content. Don't hesitate to contact
us if you need more information about our current projects.
/* SRI blue: #0a2972 */
/* Site dark blue: #3b4e7a */
/* Site orange: #d4582a */
/* Main text: #505050 */
/**********************************/
/* TOP MENUS USING JAVASCRIPRTS */
/*********************************/
/* include/html.inc.php */
/* extras/navigation.js */
/* extras/menucode.js*/
/*Main div for the full navigation
Allows to set margin and other positions */
div.topNavigation {
background-color: #FFCC00;
color:#0a2955;
width: 700px;
height: 20px;
padding-left:50px;
border-bottom: solid 1px #0a2972;
vertical-align:middle;
text-align:center;
}
/* Main menu as it appears by default
in navigation.js topNavigation()
This is for each menu */
div.topMenu {
/*type*/
font-size: 12px;
text-decoration: none;
/*color*/
color:#0a2955;
/*padding*/
padding:3px 0px 3px 5px;
/*align*/
float:left;
text-align:left;
vertical-align:middle;
/*geometry*/
width: 135px;
}
div.topMenu a, div.topMenu a:visited {
/*type*/
font-size: 12px;
text-decoration: none;
color:#0a2955;
/*padding*/
padding:3px 0px 3px 0px;
/*align*/
text-align:center;
vertical-align:middle;
}
/* menuType is for dropdown menus as defined in menucode.js */
/* One full drop-down/pop-out menu if dropdow, set the width to
be the same as div.topMenu*/
.menu {
/* background-image: url(../../images/navigation/navigation-bg.jpg.html);
background-repeat: no-repeat;*/
/*type*/
font-size: 12px;
text-decoration: none;
/*color*/
/* background-color: #ffffff;*/
color: #000000;
/*align*/
vertical-align:middle;
/*padding*/
margin-top:15px;
margin-bottom:3px;
padding:6px 0px 0px 0px;
position:absolute;
display: block;
width: 125px;
}
/*The title of each menu
Mostly this should be the same as
div.topMenu a */
.menuTitle,.menuTitle a , .menuTitle a:visited {
/*type*/
font-size: 12px;
text-decoration: none;
text-align:center;
color: #000000;
/*padding*/
padding:0px 0px 3px 0px;
display: block;
width: 100%;
}
.menuText {
/*type*/
font-size: 12px;
text-decoration: none;
text-align:left;
background-color: #FFCC00;
color: #000000;
width: 100%;
border-bottom: solid 1px #483d8b;
}
.menuText a {
/*type*/
font-size: 12px;
text-decoration: none;
color: #000000;
padding:3px 0px 3px 5px;
display: block;
}
.menuText a:hover {
/*type*/
font-size: 12px;
text-decoration: none;
/*color*/
/*background-color: #483d8b;*/
color:#d4582a;
/*padding*/
padding:3px 0px 3px 5px;
display: block;
/*align*/
vertical-align:middle;
}
.menuText a:visited {
/*type*/
font-size: 12px;
text-decoration: none;
/*color*/
/*background-color: #483d8b;*/
color:#000000;
/*padding*/
padding:3px 0px 3px 5px;
display: block;
/*align*/
vertical-align:middle;
}