Commit graph

5 commits

Author SHA1 Message Date
Paulo Jorge Reis
217bc180ac Merge pull request #1251 from sharelatex/pr-history-labels-compare
History labels compare

GitOrigin-RevId: bd06223344e391ba8e6017ebb27bdc3920cf754c
2018-12-17 10:10:48 +00:00
Paulo Jorge Reis
49388c868b Merge pull request #1093 from sharelatex/pr-editor-cobranding-ui
Editor cobranding UI

GitOrigin-RevId: c6d5fabc23f9105388faeb037d96545bf574f4d5
2018-11-07 11:43:31 +00:00
Paulo Reis
2fbcaebac7 More adjustments; style the dashboard. 2018-08-27 12:39:53 +01:00
Paulo Reis
d527249833 Style the editor. 2018-08-24 12:06:56 +01:00
Paulo Reis
418d7d515a Add light theme root file; add light theme variables file. 2018-07-10 13:14:58 +01:00