<!-- $Revision: 1.2 $ --> 

Theme=getTheme();

if ( Theme == "Mercury" ) {
  document.write("<link rel=\"stylesheet\" href=\"/css/mercury/theme_nav.css\" type=\"text/css\" />");
}
else if ( Theme == "Earth" ) {
  document.write("<link rel=\"stylesheet\" href=\"/css/earth/theme_nav.css\" type=\"text/css\" />");
}
else if ( Theme == "Mars" ) {
  document.write("<link rel=\"stylesheet\" href=\"/css/mars/theme_nav.css\" type=\"text/css\" />");
}
else if ( Theme == "Neptune" ) {
  document.write("<link rel=\"stylesheet\" href=\"/css/neptune/theme_nav.css\" type=\"text/css\" />");
}
else if ( Theme == "Pluto" ) {
  document.write("<link rel=\"stylesheet\" href=\"/css/pluto/theme_nav.css\" type=\"text/css\" />");
}
else {
  document.write("<link rel=\"stylesheet\" href=\"/css/venus/theme_nav.css\" type=\"text/css\" />");
}

