9 commits

Author	SHA1	Message	Date
Paulo Reis	a8cb126c4b	Add UI Select (enhanced select boxes) components.	2018-06-15 11:33:47 +01:00
Paulo Reis	637c492e6e	Merge branch 'master' into pr-v2-history-ui	2018-05-30 11:24:33 +01:00
Alberto Fernández Capel	156263115b	Styles for the metrics app ... Imported from v1 with minimal changes.	2018-05-16 13:59:33 +01:00
Paulo Reis	6e6bc91130	Style the history entries components.	2018-04-27 15:59:28 +01:00
Alasdair Smith	315b2f24ee	Always include RT styles	2018-04-06 16:01:59 +01:00
Alasdair Smith	b7200066e9	Inject rich text variable to conditionally show rich text styles	2018-02-09 10:42:11 +00:00
Alasdair Smith	d8e87997c1	Install codemirror	2018-02-09 10:02:36 +00:00
Alasdair Smith	35883b6b27	Extract V1 badge styles to file	2017-11-20 11:23:02 +00:00
James Allen	5c8442a86f	Allow configureable brand prefix with overleaf styles	2017-08-07 17:01:59 +02:00