shrink buttons for smaller screens

This commit is contained in:
Matthew Scragg 2014-09-26 11:58:06 -05:00
parent 8f6823676a
commit e7e2ecfc4d
3 changed files with 10 additions and 43 deletions

View file

@ -68,45 +68,6 @@
margin:0;
}
/*
#preview {
overflow: auto;
position: absolute;
height: auto;
top: 0;
left: 0;
right: 0;
bottom: 0;
padding: 20px;
border: 1px solid #EEE;
-webkit-border-radius: 4px;
-moz-border-radius: 4px;
border-radius: 4px;
-webkit-box-sizing: border-box;
-moz-box-sizing: border-box;
box-sizing: border-box;
-webkit-box-flex: 1;
-moz-box-flex: 1;
-ms-box-flex: 1;
-o-box-flex: 1;
box-flex: 1;
-moz-box-shadow: 0 1px 2px rgba(0,0,0,.15);
-webkit-box-shadow: 0 1px 2px rgba(0,0,0,.15);
box-shadow: 0 1px 2px rgba(0,0,0,.15);
}
#editor {
position: absolute;
height: auto;
top: 0;
left: 0;
right: 0;
bottom: 0;
font-family: Inconsolata, monospace;
font-size: 1.1em;
line-height: 1.3em;
}
*/
.ace_gutter-cell {
font-size: 1em;
line-height: 1em;