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

..

_common-variables.less

Merge pull request #1251 from sharelatex/pr-history-labels-compare

2018-12-17 10:10:48 +00:00

grid.less

Move to bootstrap 3 (site barely functional)

2014-06-04 16:14:35 +01:00

mixins.less

Merge pull request #1096 from sharelatex/jel-plans-mobile-layout

2018-11-08 16:11:49 +00:00

normalize.less

Move to bootstrap 3 (site barely functional)

2014-06-04 16:14:35 +01:00

ol-ieee-variables.less

Merge branch 'master' into dcl-i1207

2018-11-30 13:24:27 +00:00

ol-light-variables.less

Merge pull request #1251 from sharelatex/pr-history-labels-compare

2018-12-17 10:10:48 +00:00

ol-variables.less

Merge pull request #1251 from sharelatex/pr-history-labels-compare

2018-12-17 10:10:48 +00:00

print.less

Move to bootstrap 3 (site barely functional)

2014-06-04 16:14:35 +01:00

responsive-utilities.less

Move to bootstrap 3 (site barely functional)

2014-06-04 16:14:35 +01:00

scaffolding.less

Add plans variant

2018-06-04 14:42:26 -05:00

type.less

Add plans variant

2018-06-04 14:42:26 -05:00

utilities.less

Move to bootstrap 3 (site barely functional)

2014-06-04 16:14:35 +01:00

variables.less

Add @brand-secondary color

2018-08-30 09:52:55 -05:00