diff -r a31fbcfa8c3b -r 9ff357e82e36 doc/book/en/standard_theme/layout.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/book/en/standard_theme/layout.html Wed Apr 14 16:57:55 2010 +0200 @@ -0,0 +1,13 @@ +{% extends "basic/layout.html" %} + +{% block header %} +