web.git
4 years agoRust post: tuning, spell checking, publication
Ralf Jung [Mon, 12 Oct 2015 08:50:58 +0000 (10:50 +0200)]
Rust post: tuning, spell checking, publication

4 years agosome work on the Rust post
Ralf Jung [Sun, 11 Oct 2015 21:15:16 +0000 (23:15 +0200)]
some work on the Rust post

4 years agoonly show a post excerpt in the blog index
Ralf Jung [Sun, 11 Oct 2015 21:14:52 +0000 (23:14 +0200)]
only show a post excerpt in the blog index

4 years agofirst version of rust post
Ralf Jung [Sun, 11 Oct 2015 13:35:23 +0000 (15:35 +0200)]
first version of rust post

4 years agotypo
Ralf Jung [Fri, 9 Oct 2015 18:53:59 +0000 (20:53 +0200)]
typo

4 years agoget rid of blog description; more welcome fixes
Ralf Jung [Fri, 9 Oct 2015 18:45:23 +0000 (20:45 +0200)]
get rid of blog description; more welcome fixes

4 years agomore uniformity for blog post headers; change link colors a bit
Ralf Jung [Fri, 9 Oct 2015 18:38:38 +0000 (20:38 +0200)]
more uniformity for blog post headers; change link colors a bit

4 years agomake a research page happen
Ralf Jung [Fri, 9 Oct 2015 18:24:03 +0000 (20:24 +0200)]
make a research page happen

4 years agofix welcome post
Ralf Jung [Fri, 9 Oct 2015 18:11:19 +0000 (20:11 +0200)]
fix welcome post

4 years agostart honoring baseurl again; crazy hackery to get page-dependent computed (pre)titles
Ralf Jung [Fri, 9 Oct 2015 18:11:11 +0000 (20:11 +0200)]
start honoring baseurl again; crazy hackery to get page-dependent computed (pre)titles

4 years agoprepare for having two sites: personal and research
Ralf Jung [Fri, 9 Oct 2015 16:31:13 +0000 (18:31 +0200)]
prepare for having two sites: personal and research

4 years agomake sure vertical scrollbar is always shown
Ralf Jung [Fri, 9 Oct 2015 10:47:31 +0000 (12:47 +0200)]
make sure vertical scrollbar is always shown

On branch master
modified:   style.scss
no changes added to commit (use "git add" and/or "git commit -a")

4 years ago*oops* fix date
Ralf Jung [Fri, 9 Oct 2015 08:07:55 +0000 (10:07 +0200)]
*oops* fix date

4 years agopublish blog post: Breaking All the Way Out
Ralf Jung [Fri, 9 Oct 2015 08:06:18 +0000 (10:06 +0200)]
publish blog post: Breaking All the Way Out

4 years agotuning, tuning, tuning the spaces...
Ralf Jung [Thu, 8 Oct 2015 21:50:20 +0000 (23:50 +0200)]
tuning, tuning, tuning the spaces...

4 years agoresearch: re-add missing image
Ralf Jung [Thu, 8 Oct 2015 21:50:01 +0000 (23:50 +0200)]
research: re-add missing image

4 years agoproject link can now be found in menu
Ralf Jung [Thu, 8 Oct 2015 21:28:32 +0000 (23:28 +0200)]
project link can now be found in menu

4 years agoalso upload to MPI server
Ralf Jung [Thu, 8 Oct 2015 21:28:09 +0000 (23:28 +0200)]
also upload to MPI server

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

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

4 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

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

4 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

4 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

4 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")

4 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

4 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

4 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

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

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

4 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

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

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

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

4 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

4 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

4 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

4 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

4 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

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

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

4 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

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

4 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

4 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

4 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