Fix ui-glitch

Fixes #105
This commit is contained in:
Thomas Nordquist
2019-04-15 17:07:02 +02:00
parent c9c0a447ce
commit 9c5d89e0aa

View File

@@ -115,9 +115,8 @@ const style = (theme: Theme) => {
const codeBaseStyle = {
font: "12px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace",
minHeight: '3em',
display: 'inline-grid' as 'inline-grid',
margin: 0,
margin: '0',
}
return {
@@ -139,6 +138,7 @@ const style = (theme: Theme) => {
maxHeight: '15em',
overflow: 'auto',
backgroundColor: `${codeBlockColors.background}`,
margin: '8px 0 0 0',
},
gutters: {
...codeBaseStyle,