Paulo Jorge Reis 4563ce864c Merge pull request #1285 from sharelatex/pr-history-compare-labels-fixes ... History compare labels fixes GitOrigin-RevId: 176750c4017e5511a22f1792e37ab8918a142ec3		2018-12-18 11:48:49 +00:00
..
binary-file.less
chat.less	More adjustments; style the dashboard.	2018-08-27 12:39:53 +01:00
enago.less
file-tree.less	Merge pull request #1251 from sharelatex/pr-history-labels-compare	2018-12-17 10:10:48 +00:00
history-v2.less	Merge pull request #1285 from sharelatex/pr-history-compare-labels-fixes	2018-12-18 11:48:49 +00:00
history.less	Merge pull request #1251 from sharelatex/pr-history-labels-compare	2018-12-17 10:10:48 +00:00
hotkeys.less
left-menu.less	Switch themes at runtime.	2018-08-28 14:12:00 +01:00
online-users.less
pdf.less	Merge pull request #855 from sharelatex/pr-v2-light-theme	2018-08-30 11:24:52 +01:00
publish-modal.less	Merge branch 'deploy-20181029a'	2018-10-29 15:01:41 +00:00
publish-template.less
review-panel.less	Forcefully set trackchanges textareas background to white.	2018-08-31 15:45:33 +01:00
rich-text.less
search.less	Merge pull request #1118 from sharelatex/as-upgrade-ace-1.2.9	2018-11-14 14:30:12 +00:00
share.less	Style the notice	2018-09-13 12:19:44 +01:00
toolbar.less	Merge pull request #1093 from sharelatex/pr-editor-cobranding-ui	2018-11-07 11:43:31 +00:00