Paulo Reis 15de552c2c Make new add comment button styles as the default; removed old add comment button code.

2017-04-04 10:40:53 +01:00

..

brand

Remove proprietary icons and stylesheets

2014-02-18 15:55:32 +00:00

coffee

Make new add comment button styles as the default; removed old add comment button code.

2017-04-04 10:40:53 +01:00

font

Intial open source comment

2014-02-12 10:23:40 +00:00

img

New logo with better spacing.

2017-03-30 16:39:44 +01:00

js

handle the \feynmandiagram command in code check

2017-03-29 15:27:10 +01:00

recurly

added new official paypal logo from https://www.paypal.com/uk/webapps/mpp/logo-center

2014-12-28 18:43:53 +00:00

stylesheets

Make new add comment button styles as the default; removed old add comment button code.

2017-04-04 10:40:53 +01:00

apple-touch-icon-precomposed.png

Update favicon-related assets with new typography.

2017-03-28 16:12:52 +01:00

favicon.ico

Update favicon-related assets with new typography.

2017-03-28 16:12:52 +01:00

humans.txt

Intial open source comment

2014-02-12 10:23:40 +00:00

mask-favicon.svg

Update favicon-related assets with new typography.

2017-03-28 16:12:52 +01:00

robots.txt

change robots.txt to ignore all

2016-02-16 12:38:27 +00:00

sharelatex-security.pub

Update PGP key

2014-10-24 11:55:30 +01:00

touch-icon-192x192.png

Update favicon-related assets with new typography.

2017-03-28 16:12:52 +01:00