]> git.ralfj.de Git - web.git/history - style.css
projects / web.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add Miri paper
[web.git] / style.css
2015-10-07 Ralf Jungre-do the layout: use SCSS, put the boxes differently... blob | commitdiff | raw
2015-10-06 Ralf Jungcompute the menu recursively; put it between title... blob | commitdiff | raw
2015-10-06 Ralf Junga first version of my site proted to jekyll blob | commitdiff | raw | diff to current
sources for my website