Minor adjustment to pre's css properties.