| .. |
|
_default
|
9ee3ade085
CSS: Make header margins more consistent again
|
7 lat temu |
|
docs
|
674bb67364
Add documentation/courses/tutorials layout
|
7 lat temu |
|
home
|
7867f653e8
Initial commit
|
9 lat temu |
|
partials
|
9ee3ade085
CSS: Make header margins more consistent again
|
7 lat temu |
|
project
|
965a64ffaa
Migrate from Bootstrap v3 to v4 (#571)
|
7 lat temu |
|
publication
|
965a64ffaa
Migrate from Bootstrap v3 to v4 (#571)
|
7 lat temu |
|
section
|
9ee3ade085
CSS: Make header margins more consistent again
|
7 lat temu |
|
shortcodes
|
11a5d1bf50
gdocs shortcode: Support all doc types (Slides, Docs, Sheets, etc.)
|
7 lat temu |
|
talk
|
965a64ffaa
Migrate from Bootstrap v3 to v4 (#571)
|
7 lat temu |
|
404.html
|
a552c1e298
List most recent content on 404 error page
|
7 lat temu |
|
index.css
|
66ca3fca75
Add theme system
|
8 lat temu |
|
index.html
|
8d596ffed2
Perform check that site is correctly configured
|
7 lat temu |
|
index.json
|
36084c5607
search: refactor so that only one index is generated
|
7 lat temu |
|
rss.xml
|
b21642366e
Add RSS feed
|
9 lat temu |
|
sitemap.xml
|
af6d0bc278
Exclude all widgets from the sitemap (#613)
|
7 lat temu |
George Cushen
9ee3ade085
CSS: Make header margins more consistent again