Rouven WeßlingandRobert Lord c8e7c646dc Optimize images ...

Saves 26,9% on logo png and a whopping 96,6% on navbar.png

2015-04-30 16:01:18 -05:00

..

fonts

Adds search icon

2014-04-10 17:46:39 -07:00

images

Optimize images

2015-04-30 16:01:18 -05:00

includes

Fix typo

2015-04-29 18:14:36 -04:00

javascripts

Update jQuery UI to version 1.11.3

2015-04-30 16:01:18 -05:00

layouts

Update jQuery to version 2.1.3

2015-04-30 16:01:17 -05:00

stylesheets

Rename SCSS files, so no unnecessary stylesheets are generated.

2015-04-30 16:01:18 -05:00

index.md

Fix Python examples

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