37 lines
1.1 KiB
Plaintext
37 lines
1.1 KiB
Plaintext
#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
|
|
|