web.git
9 years agoindex typo
Ralf Jung [Thu, 8 Oct 2015 21:24:33 +0000 (23:24 +0200)]
index typo

9 years agoupload script
Ralf Jung [Thu, 8 Oct 2015 21:24:26 +0000 (23:24 +0200)]
upload script

9 years agomake better use of medium width; more menu space tuning
Ralf Jung [Thu, 8 Oct 2015 21:19:38 +0000 (23:19 +0200)]
make better use of medium width; more menu space tuning

9 years agofix dates of posts
Ralf Jung [Thu, 8 Oct 2015 20:54:53 +0000 (22:54 +0200)]
fix dates of posts

9 years agomake the page layout general enough to cover posts - also achieves more uniformity
Ralf Jung [Thu, 8 Oct 2015 20:27:09 +0000 (22:27 +0200)]
make the page layout general enough to cover posts - also achieves more uniformity

9 years agomove the link to Breaking All the Way Out to a blogpost
Ralf Jung [Thu, 8 Oct 2015 20:13:35 +0000 (22:13 +0200)]
move the link to Breaking All the Way Out to a blogpost

9 years agoadd my research page; make its links absolute; tune spacing
Ralf Jung [Thu, 8 Oct 2015 20:12:50 +0000 (22:12 +0200)]
add my research page; make its links absolute; tune spacing

On branch master
deleted:    _posts/2015-10-10-welcome.md
Untracked files:
_posts/2015-10-09-welcome.md
no changes added to commit (use "git add" and/or "git commit -a")

9 years agoindex: English first; redirect: use my fonts
Ralf Jung [Thu, 8 Oct 2015 19:50:56 +0000 (21:50 +0200)]
index: English first; redirect: use my fonts

9 years agomake blog titles clickable; some more style tunes
Ralf Jung [Thu, 8 Oct 2015 19:50:29 +0000 (21:50 +0200)]
make blog titles clickable; some more style tunes

9 years agomake the new style also work for blog posts
Ralf Jung [Thu, 8 Oct 2015 19:27:08 +0000 (21:27 +0200)]
make the new style also work for blog posts

9 years agodevelop a new style
Ralf Jung [Thu, 8 Oct 2015 18:23:28 +0000 (20:23 +0200)]
develop a new style

9 years agofix typos and HTML
Ralf Jung [Thu, 8 Oct 2015 18:23:20 +0000 (20:23 +0200)]
fix typos and HTML

9 years agomake sure we extract something sensible as slug from the readmes
Ralf Jung [Thu, 8 Oct 2015 15:24:22 +0000 (17:24 +0200)]
make sure we extract something sensible as slug from the readmes

9 years agowrite welcome blog post
Ralf Jung [Thu, 8 Oct 2015 15:24:08 +0000 (17:24 +0200)]
write welcome blog post

9 years agoprepare things for a blog
Ralf Jung [Thu, 8 Oct 2015 15:23:32 +0000 (17:23 +0200)]
prepare things for a blog

9 years agoblog index meta-info
Ralf Jung [Wed, 7 Oct 2015 16:27:41 +0000 (18:27 +0200)]
blog index meta-info

9 years agomore careful sorting of the menu; readme generator more failure-resistant; add missin...
Ralf Jung [Wed, 7 Oct 2015 16:27:28 +0000 (18:27 +0200)]
more careful sorting of the menu; readme generator more failure-resistant; add missing readmes

9 years agoadd CS redirect page; tiny projects page change
Ralf Jung [Wed, 7 Oct 2015 16:15:41 +0000 (18:15 +0200)]
add CS redirect page; tiny projects page change

9 years agogenerate readme pages through a plugin
Ralf Jung [Wed, 7 Oct 2015 16:15:17 +0000 (18:15 +0200)]
generate readme pages through a plugin

9 years agouse the Jekyll pages information to create the menu
Ralf Jung [Wed, 7 Oct 2015 14:44:03 +0000 (16:44 +0200)]
use the Jekyll pages information to create the menu

9 years agochange the way we expect the header to look in the README
Ralf Jung [Wed, 7 Oct 2015 11:45:37 +0000 (13:45 +0200)]
change the way we expect the header to look in the README

9 years agoblog title & description
Ralf Jung [Wed, 7 Oct 2015 11:45:24 +0000 (13:45 +0200)]
blog title & description

9 years agoget the content styled again
Ralf Jung [Wed, 7 Oct 2015 11:45:12 +0000 (13:45 +0200)]
get the content styled again

9 years agore-do the layout: use SCSS, put the boxes differently to have the entire frame as...
Ralf Jung [Wed, 7 Oct 2015 10:02:23 +0000 (12:02 +0200)]
re-do the layout: use SCSS, put the boxes differently to have the entire frame as one element, to give it a min-height

9 years agoport projects file to markdown
Ralf Jung [Wed, 7 Oct 2015 10:01:37 +0000 (12:01 +0200)]
port projects file to markdown

9 years agotry harder not to have spaces in the menu; fix project page title
Ralf Jung [Tue, 6 Oct 2015 21:06:21 +0000 (23:06 +0200)]
try harder not to have spaces in the menu; fix project page title

9 years agocompute the menu recursively; put it between title and content
Ralf Jung [Tue, 6 Oct 2015 21:02:38 +0000 (23:02 +0200)]
compute the menu recursively; put it between title and content

9 years agoa first version of my site proted to jekyll
Ralf Jung [Tue, 6 Oct 2015 19:20:44 +0000 (21:20 +0200)]
a first version of my site proted to jekyll