Ralf Jung [Thu, 8 Oct 2015 21:24:33 +0000 (23:24 +0200)]
index typo
Ralf Jung [Thu, 8 Oct 2015 21:24:26 +0000 (23:24 +0200)]
upload script
Ralf Jung [Thu, 8 Oct 2015 21:19:38 +0000 (23:19 +0200)]
make better use of medium width; more menu space tuning
Ralf Jung [Thu, 8 Oct 2015 20:54:53 +0000 (22:54 +0200)]
fix dates of posts
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
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
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")
Ralf Jung [Thu, 8 Oct 2015 19:50:56 +0000 (21:50 +0200)]
index: English first; redirect: use my fonts
Ralf Jung [Thu, 8 Oct 2015 19:50:29 +0000 (21:50 +0200)]
make blog titles clickable; some more style tunes
Ralf Jung [Thu, 8 Oct 2015 19:27:08 +0000 (21:27 +0200)]
make the new style also work for blog posts
Ralf Jung [Thu, 8 Oct 2015 18:23:28 +0000 (20:23 +0200)]
develop a new style
Ralf Jung [Thu, 8 Oct 2015 18:23:20 +0000 (20:23 +0200)]
fix typos and HTML
Ralf Jung [Thu, 8 Oct 2015 15:24:22 +0000 (17:24 +0200)]
make sure we extract something sensible as slug from the readmes
Ralf Jung [Thu, 8 Oct 2015 15:24:08 +0000 (17:24 +0200)]
write welcome blog post
Ralf Jung [Thu, 8 Oct 2015 15:23:32 +0000 (17:23 +0200)]
prepare things for a blog
Ralf Jung [Wed, 7 Oct 2015 16:27:41 +0000 (18:27 +0200)]
blog index meta-info
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
Ralf Jung [Wed, 7 Oct 2015 16:15:41 +0000 (18:15 +0200)]
add CS redirect page; tiny projects page change
Ralf Jung [Wed, 7 Oct 2015 16:15:17 +0000 (18:15 +0200)]
generate readme pages through a plugin
Ralf Jung [Wed, 7 Oct 2015 14:44:03 +0000 (16:44 +0200)]
use the Jekyll pages information to create the menu
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
Ralf Jung [Wed, 7 Oct 2015 11:45:24 +0000 (13:45 +0200)]
blog title & description
Ralf Jung [Wed, 7 Oct 2015 11:45:12 +0000 (13:45 +0200)]
get the content styled again
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
Ralf Jung [Wed, 7 Oct 2015 10:01:37 +0000 (12:01 +0200)]
port projects file to markdown
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
Ralf Jung [Tue, 6 Oct 2015 21:02:38 +0000 (23:02 +0200)]
compute the menu recursively; put it between title and content
Ralf Jung [Tue, 6 Oct 2015 19:20:44 +0000 (21:20 +0200)]
a first version of my site proted to jekyll
projects / web.git / log