Changed overall font-size to 13px

This commit is contained in:
rxi 2014-04-12 10:08:39 +01:00
parent 127f7b46ea
commit ea1f15762c

View File

@ -42,6 +42,7 @@ end
<style> <style>
body { body {
margin: 0px; margin: 0px;
font-size: 14px;
font-family: helvetica, verdana, sans; font-family: helvetica, verdana, sans;
background: #FFFFFF; background: #FFFFFF;
} }
@ -89,7 +90,7 @@ end
} }
#console { #console {
position: absolute; position: absolute;
top: 40px; bottom: 0px; left: 0px; right: 252px; top: 40px; bottom: 0px; left: 0px; right: 312px;
} }
#input { #input {
position: absolute; position: absolute;
@ -108,8 +109,7 @@ end
#env { #env {
position: absolute; position: absolute;
top: 40px; bottom: 0px; right: 0px; top: 40px; bottom: 0px; right: 0px;
width: 240px; width: 300px;
font-size: 12px;
overflow-y: scroll; overflow-y: scroll;
} }
#envheader { #envheader {