Fixing some small styling issues

This commit is contained in:
Jeff Avallone 2014-12-16 10:00:57 -05:00
parent 3d42894ac2
commit 4195a101a2

View File

@ -105,7 +105,7 @@ header {
outline: none; outline: none;
background: $tan; background: $tan;
padding: 0 0.5em; padding: 0 0.5em;
width: 100%; width: 100% !important; // "!important" prevents user changing width
box-sizing: border-box; box-sizing: border-box;
font-family:Consolas,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New, monospace; font-family:Consolas,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New, monospace;
@ -227,6 +227,7 @@ header {
font-family: monospace; font-family: monospace;
font-weight: bold; font-weight: bold;
display: none; display: none;
overflow-x: scroll;
body.has-error & { body.has-error & {
display: block; display: block;