@@ -85,25 +85,38 @@ sub custom_driver_hook{
8585}
8686
8787
88- $iconsizes {' up' } = ' width="75" height="25"' ;
89- $iconsizes {' next' } = ' width="75" height="25"' ;
90- $iconsizes {' previous' } = ' width="75" height="25"' ;
91- $iconsizes {' contents' } = ' width="75" height="25"' ;
92- $iconsizes {' index' } = ' width="75" height="25"' ;
88+ sub set_icon_size{
89+ my ($name , $w , $h ) = @_ ;
90+ $iconsizes {$name } = " width=$w height=$h " ;
91+ }
92+
93+ foreach $name (split (/ / , ' up next previous contents index modules' )) {
94+ set_icon_size($name , 32, 32);
95+ }
96+ # The '_motif' is really annoying, and makes the HTML larger with no value
97+ # added, so strip it off:
98+ foreach $name (keys %icons ) {
99+ my $icon = $icons {$name };
100+ $icon =~ s / _motif// ;
101+ $icons {$name } = $icon ;
102+ }
93103
94104$CUSTOM_BUTTONS = ' ' ;
95105
96106sub make_nav_panel{
97- ($NEXT_TITLE ? $NEXT : ' ' )
98- . ($UP_TITLE ? $UP : ' ' )
99- . ($PREVIOUS_TITLE ? $PREVIOUS : ' ' )
100- . $CONTENTS
101- . $CUSTOM_BUTTONS
102- . $INDEX
103- . " \n <br>\n "
104- . ($NEXT_TITLE ? " <b>Next:</b> $NEXT_TITLE \n " : ' ' )
105- . ($UP_TITLE ? " <b>Up:</b> $UP_TITLE \n " : ' ' )
106- . ($PREVIOUS_TITLE ? " <b>Previous:</b> $PREVIOUS_TITLE \n " : ' ' );
107+ (' <table width="100%" cellpadding=0 cellspacing=0><tr><td width="20%">'
108+ . ($NEXT_TITLE ? " $NEXT " : ' ' )
109+ . ($UP_TITLE ? " $UP " : ' ' )
110+ . ($PREVIOUS_TITLE ? " $PREVIOUS " : ' ' )
111+ . " </td>\n <td align=center width=\" 60%\" ><b>$t_title </b>"
112+ . " </td>\n <td align=right width=\" 20%\" >"
113+ . $CONTENTS
114+ . ' ' . $CUSTOM_BUTTONS
115+ . ' ' . $INDEX
116+ . " </td></tr></table>\n <hr>\n "
117+ . ($NEXT_TITLE ? " <b>Next:</b> $NEXT_TITLE \n " : ' ' )
118+ . ($UP_TITLE ? " <b>Up:</b> $UP_TITLE \n " : ' ' )
119+ . ($PREVIOUS_TITLE ? " <b>Previous:</b> $PREVIOUS_TITLE \n " : ' ' ));
107120}
108121
109122sub top_navigation_panel {
@@ -157,10 +170,11 @@ sub img_tag {
157170 my $alt ;
158171 my $align = " align=bottom " ;
159172
173+ # having this list hardcoded here is really bogus....
160174 $alt = join (' |' , ' up' , ' next_group' , ' previous_group'
161175 , ' next' , ' previous' , ' change_begin_right' , ' change_begin'
162176 , ' change_end_right' , ' change_end' , ' change_delete_right'
163- , ' change_delete' , ' contents' , ' index' );
177+ , ' change_delete' , ' contents' , ' index' , ' modules ' );
164178
165179 if ($icon =~ / (gif|png)$ / ) {
166180 $used_icons {$icon } = 1;
@@ -359,10 +373,8 @@ sub add_bbl_and_idx_dummy_commands {
359373 . " ([\\\\ ]begin\\ s*$O \\ d+$C \\ s*theindex)" ;
360374 s / $rx/ \\ textohtmlmoduleindex \1 \\ textohtmlindex \2 / o ;
361375 # Add a button to the navigation areas:
362- $CUSTOM_BUTTONS .= (" <a\n href=\" modindex.html\" ><img"
363- . " src=\" $ICONSERVER$dd "
364- . " modules_motif.gif\" width=74 height=25 border=0"
365- . " alt=\" [Modules]\" ></a>" );
376+ $CUSTOM_BUTTONS .= (" <a\n href=\" modindex.html\" >"
377+ . img_tag(' modules.' .$IMAGE_TYPE ) . " </a>" );
366378 }
367379 else {
368380 $global {' max_id' } = $id ; # not sure why....
0 commit comments