history wip: Updating history list after saving document
[fnpeditor.git] / modules / sourceEditor / sourceEditor.less
1 #rng-sourceEditor-editor {\r
2     width: 940px;\r
3     height: 500px;\r
4 }