CSS: Redesign the main page headline
treea2fa1ccfb3eef9a079c91951392d31731cb01843
-rw-r--r-- 18787 COPYING
drwxr-xr-x - cogito
drwxr-xr-x - course
-rw-r--r-- 164 favicon.png
-rw-r--r-- 275 git-logo.png
-rw-r--r-- 17196 index.html
drwxr-xr-x - stylesheets
-rwxr-xr-x 780 update.sh