keyboard/altgr/index: enlarge header font only if appropriate

[sheet.git] / readline.plp

<:
$Request = 'readline';
Include 'keyboard.plp';