2020-06-18 21:01:13 +02:00
|
|
|
import React from 'react';
|
|
|
|
import styled from 'styled-components';
|
|
|
|
import { remSize } from '../../theme';
|
|
|
|
|
2020-08-07 19:17:26 +02:00
|
|
|
// Applies padding to top and bottom so editor content is always visible
|
|
|
|
|
2020-06-18 21:01:13 +02:00
|
|
|
export default styled.div`
|
|
|
|
z-index: 0;
|
|
|
|
margin-top: ${remSize(16)};
|
2020-08-07 19:17:26 +02:00
|
|
|
.CodeMirror-sizer > * { padding-bottom: ${remSize(320)}; };
|
2020-06-18 21:01:13 +02:00
|
|
|
`;
|