$DefinedGrammars{$lang} .= $_;
return ("<dl><dd class=\"grammar\">\n"
. "<div class=\"productions\">\n"
- . "<table cellpadding=\"2\" valign=\"baseline\">\n"
+ . "<table cellpadding=\"2\">\n"
. translate_commands(translate_environments($_))
. "</table>\n"
. "</div>\n"
my $lang = $CURRENT_GRAMMAR;
local($CURRENT_TOKEN) = $token;
if ($lang eq '*') {
- return ("<tr>\n"
+ return ("<tr valign=\"baseline\">\n"
. " <td><code>$token</code></td>\n"
. " <td> ::= </td>\n"
. " <td><code>"
$target = "$CURRENT_FILE\#tok-$lang-$token";
}
$TokenToTargetMapping{"$CURRENT_GRAMMAR:$token"} = $target;
- return ("<tr>\n"
+ return ("<tr valign=\"baseline\">\n"
. " <td><code><a name=\"tok-$token\">$token</a></code></td>\n"
. " <td> ::= </td>\n"
. " <td><code>"