2021-12-04 12:30:03 +01:00
|
|
|
import styled from 'styled-components';
|
|
|
|
|
|
|
|
const StyledWrapper = styled.div`
|
|
|
|
div.CodeMirror {
|
2022-01-24 23:11:35 +01:00
|
|
|
border: solid 1px var(--color-codemirror-border);
|
2022-01-25 22:30:21 +01:00
|
|
|
/* todo: find a better way */
|
|
|
|
height: calc(100vh - 230px);
|
2021-12-04 12:30:03 +01:00
|
|
|
}
|
|
|
|
|
2022-01-26 16:01:49 +01:00
|
|
|
textarea.cm-editor {
|
|
|
|
position: relative;
|
|
|
|
}
|
2021-12-04 12:30:03 +01:00
|
|
|
`;
|
|
|
|
|
|
|
|
export default StyledWrapper;
|
|
|
|
|