Make code boxes full height by default.
Make code boxes full height by default.

ghalse/simplesamlphp,simplesamlphp/simplesamlphp,ghalse/simplesamlphp,dnmvisser/simplesamlphp,dnmvisser/simplesamlphp,ghalse/simplesamlphp,dnmvisser/simplesamlphp,simplesamlphp/simplesamlphp,dnmvisser/simplesamlphp,ghalse/simplesamlphp,simplesamlphp/simplesamlphp,simplesamlphp/simplesamlphp