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 |
|