/*-----------------------------------------------------*/
/*                                                     */
/* display the subnavigation, if there's enough space  */
/*                                                     */
/*-----------------------------------------------------*/

function display_sub_navigation() {
}