George Cushen 9ee3ade085 CSS: Make header margins more consistent again ...

See #681
See #571

2018-09-10 19:30:27 +01:00

..

_default

CSS: Make header margins more consistent again

2018-09-10 19:30:27 +01:00

docs

Add documentation/courses/tutorials layout

2018-09-09 23:28:36 +01:00

home

Initial commit

2016-04-27 12:26:40 +01:00

partials

CSS: Make header margins more consistent again

2018-09-10 19:30:27 +01:00

project

Migrate from Bootstrap v3 to v4 (#571)

2018-09-08 22:50:36 +01:00

publication

Migrate from Bootstrap v3 to v4 (#571)

2018-09-08 22:50:36 +01:00

section

CSS: Make header margins more consistent again

2018-09-10 19:30:27 +01:00

shortcodes

gdocs shortcode: Support all doc types (Slides, Docs, Sheets, etc.)

2018-07-15 19:43:27 +01:00

talk

Migrate from Bootstrap v3 to v4 (#571)

2018-09-08 22:50:36 +01:00

404.html

List most recent content on 404 error page

2018-04-16 00:47:26 +01:00

index.css

Add theme system

2017-09-30 16:26:19 +01:00

index.html

Perform check that site is correctly configured

2018-06-29 22:26:56 +01:00

index.json

search: refactor so that only one index is generated

2018-08-27 22:31:21 +01:00

rss.xml

Add RSS feed

2016-09-13 01:43:47 +01:00

sitemap.xml

Exclude all widgets from the sitemap (#613)

2018-08-01 22:37:03 +01:00