Paulo Jorge Reis 8f7228d26e Merge pull request #437 from sharelatex/pr-v2-splitters 8 lat temu
..
app 8f7228d26e Merge pull request #437 from sharelatex/pr-v2-splitters 8 lat temu
components d8ed0e5277 Allow v2 notification banner to be dismissed 8 lat temu
core 6c8ffcd055 Remove extra hit area. 8 lat temu
vendor d8e87997c1 Install codemirror 8 lat temu
_ol_style_includes.less f1a36919f9 Make sure the widget does not overlap the footer. 8 lat temu
_style_includes.less b7200066e9 Inject rich text variable to conditionally show rich text styles 8 lat temu
ol-style.less 4e02033c82 Use Lato as the sans-serif font for v2. 8 lat temu
style.less 4e02033c82 Use Lato as the sans-serif font for v2. 8 lat temu