['letrec'] = {},
['letnonrec'] = {},
['in'] = {},
- ['DEFAULT'] = {},
+ ['DEFAULT'] = {small = true},
}
local in_block = 0
if keywords[res] then
-- Make all keywords bold
word = "{\\bold " .. word .. "}"
+ if keywords[res].small then
+ word = "\\small" .. word -- Curlies were added above
+ end
else
-- Process any subscripts in the word
word = do_subscripts(word)