Adjust Editor/Output sizing (#697)

This commit is contained in:
Jaco Greeff 2019-02-12 11:13:25 +01:00 committed by GitHub
parent 73ee2578eb
commit ef82b7f58c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,21 +6,23 @@
display: flex;
flex-direction: column;
height: 100vh;
padding: 1rem 1.5rem;
padding: 1rem 0 0;
}
.js--Content {
align-items: stretch;
display: flex;
flex-grow: 2;
justify-content: space-between;
height: 100%;
justify-content: space-between;
margin-bottom: 0;
}
.js--Dropdown {
margin-right: 100px;
position: relative;
z-index: 200;
.dropdown .menu > .item {
display: flex;
flex-direction: row-reverse;
@ -46,13 +48,14 @@
display: flex;
flex-direction: column;
font-family: monospace;
font-size: 13px;
font-size: 12px;
font-variant-ligatures: common-ligatures;
line-height: 18px;
overflow: auto;
padding: 10px;
position: relative;
resize: horizontal;
width: 50%;
width: 40%;
&::after {
font-size: 24px;
@ -101,12 +104,17 @@
textarea {
outline: 0;
}
.codeflask--has-line-numbers .codeflask__flatten {
font-size: 12px;
line-height: 18px;
min-width: calc(100% - 40px);
width: auto;
}
.codeflask__lines {
background: #eee;
background: #fafafa;
line-height: 18px;
z-index: 100;
}
}