>
Home
ID; $page_title = $page->post_title; $page_name = $page->post_name; if ($page_name == "archives") { (is_page($page_id) || is_archive() || is_search() || is_single())?$selected = ' id="current"':$selected=''; echo "
Archives
\n"; } elseif($page_name == "about") { (is_page($page_id))?$selected = ' id="current"':$selected=''; echo "
About
\n"; } elseif ($page_name == "contact") { (is_page($page_id))?$selected = ' id="current"':$selected=''; echo "
Contact
\n"; } elseif ($page_name == "about_short") {/*ignore*/} else { (is_page($page_id))?$selected = ' id="current"':$selected=''; echo "
$page_title
\n"; } } } ?>