diff --git a/navigator/navigator.css b/navigator/navigator.css index 676830d..43b6b50 100644 --- a/navigator/navigator.css +++ b/navigator/navigator.css @@ -145,4 +145,23 @@ flex-flow: row nowrap; justify-content: flex-end; align-items: flex-start; +} + +.editor-header { + font-weight: bold; +} + +.edit-file-contents { + height: 100%; + flex-basis: 0; + flex-grow: 8; + flex-flow: column nowrap; + align-items: stretch; +} + +.edit-file-contents > textarea { + flex-grow: 1; + white-space: pre; + overflow: auto; + resize: none; } \ No newline at end of file diff --git a/navigator/navigator.html b/navigator/navigator.html index 98f937a..f6269d8 100644 --- a/navigator/navigator.html +++ b/navigator/navigator.html @@ -55,6 +55,17 @@
+