Replace the inline stylesheet for the public key box on the reboot page
with a CSS class so it can be styled using the theme.