add_idx(): Don't add unnecessary markup around the little markers stuck in the

index to cross-references; an image doesn't benefit by being bold!
This commit is contained in:
Fred Drake 1997-12-11 21:46:07 +00:00
parent 9e326665cf
commit d56924258a
1 changed files with 27 additions and 27 deletions

View File

@ -60,7 +60,7 @@ sub process_command {
# $ref_before may also be modified ...
$after = &$cmd_msub($after, @open_font_tags);
if ( !$math_mode ) {
$after = "<MATH>" . $after . "</MATH>";
$after = "<math>" . $after . "</math>";
++$commands_outside_math{$cmd};
};
}
@ -73,7 +73,7 @@ sub process_command {
if ( $math_mode ) {
$after = "&$mathentity;" . $after;
} else {
$after = "<MATH>&$mathentity;</MATH>" . $after;
$after = "<math>&$mathentity;</math>" . $after;
++$commands_outside_math{$cmd};
}; }
# Here's the hack:
@ -119,23 +119,23 @@ sub top_navigation_panel {
sub bot_navigation_panel {
# Start with a horizontal rule (3-d dividing line)
"\n<DIV CLASS=navigation><HR>".
"\n<div class=navigation><hr>".
# Now add a few buttons with a space between them
"$NEXT $UP $PREVIOUS $CONTENTS $INDEX $CUSTOM_BUTTONS" .
"<BR>\n" . # Line break
"<br>\n" . # Line break
# If ``next'' section exists, add its title to the navigation panel
($NEXT_TITLE ? "<B> Next:</B> $NEXT_TITLE\n" : undef) .
($NEXT_TITLE ? "<b> Next:</b> $NEXT_TITLE\n" : undef) .
# Similarly with the ``up'' title ...
($UP_TITLE ? "<B>Up:</B> $UP_TITLE\n" : undef) .
($UP_TITLE ? "<b>Up:</b> $UP_TITLE\n" : undef) .
# ... and the ``previous'' title
($PREVIOUS_TITLE ? "<B> Previous:</B> $PREVIOUS_TITLE\n" : undef) .
($PREVIOUS_TITLE ? "<b> Previous:</b> $PREVIOUS_TITLE\n" : undef) .
"</DIV>\n"
"</div>\n"
}
@ -184,7 +184,7 @@ sub add_idx {
$index .= #$index{$key} .
# If it's the same string don't start a new line
(&index_key_eq(join('',@current), join('',@previous)) ?
", $index{$key}<strong>" . $cross_ref_visible_mark . "</strong></a>\n" :
", $index{$key}" . $cross_ref_visible_mark . "</a>\n" :
"<dt>$index{$key}<strong>" . $str . "</strong></a>\n");
@previous = @current;
}