Skip to content

Commit

Permalink
Fixed editor height issue
Browse files Browse the repository at this point in the history
  • Loading branch information
eveningkid committed Apr 22, 2018
1 parent f0f435e commit f333c2f
Showing 1 changed file with 28 additions and 4 deletions.
32 changes: 28 additions & 4 deletions src/app.global.css
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,30 @@
* TODO Will be refactored before first release
*/

.gutter-git-diff-modified::after {
content: ' ';
margin-top: 8px;
margin-left: 5px;
width: 5px;
height: 5px;
position: absolute;
border-radius: 50%;
background: orange;
}

.gutter-git-diff-new::after {
content: ' ';
margin-top: 8px; /* (22 - 5) / 2 */
margin-left: 5px;
width: 5px;
height: 5px;
position: absolute;
border-radius: 50%;
background: green;
/* border-left: 2px solid green; */
/* background: green; */
}

/* That one comes from github */
kbd {
display: inline-block;
Expand Down Expand Up @@ -148,14 +172,14 @@ body {
position: relative;
}

.react-codemirror2, .Editor {
height: 10px;
}

.Editor, .CodeMirror {
height: 100%;
}

.CodeMirror {
height: calc(100vh - 60px);
}

.Editor {
display: flex;
flex-direction: column;
Expand Down

0 comments on commit f333c2f

Please sign in to comment.