#Buttons als Dateien speichern, damit sie durch ein Script ersetzt werden koennen:
$LOCAL_ICONS = 1;
$ALTERNATIVE_ICONS = '';
#'About this Document' durch "" ersetzen:
$INFO="";
#if AUTO_PREFIX is set, all files produced have a filename-prefix using the name of the LATEX file being processed
$AUTO_PREFIX = 1;

##########################################
#customized header (ohne contents-icon und (engl.) Schrift)
sub top_navigation_panel {

    # Now add a few buttons with a space between them
    "$NEXT $UP $PREVIOUS $INDEX $CUSTOM_BUTTONS" .
    
    "<BR>\n" .          # Line break
        
    # If ``next'' section exists, add its title to the navigation panel
    #($NEXT_TITLE ? "<B> Next:</B> $NEXT_TITLE\n" : undef) . 
    
    # Similarly with the ``up'' title ...
    ($UP_TITLE ? "<B>Up:</B> $UP_TITLE\n" : undef) . 
 
    # ... and the ``previous'' title
    ($PREVIOUS_TITLE ? "<B> Previous:</B> $PREVIOUS_TITLE\n" : undef) .
   
    #  Line Break, horizontal rule (3-d dividing line) and new paragraph  
    "<BR> <P>\n"                
}





1;      # This must be the last line