diff options
Diffstat (limited to 'docs/users_guide/ghc-theme/layout.html')
| -rw-r--r-- | docs/users_guide/ghc-theme/layout.html | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/docs/users_guide/ghc-theme/layout.html b/docs/users_guide/ghc-theme/layout.html new file mode 100644 index 0000000000..0391543f27 --- /dev/null +++ b/docs/users_guide/ghc-theme/layout.html @@ -0,0 +1,21 @@ +{# + sphinxdoc/layout.html + ~~~~~~~~~~~~~~~~~~~~~ + + Sphinx layout template for the sphinxdoc theme. + + :copyright: Copyright 2007-2010 by the Sphinx team, see AUTHORS. + :license: BSD, see LICENSE for details. +#} +{% extends "basic/layout.html" %} + +{% block relbar1 %} +<div class="logo"> + <a href="{{ pathto('index') }}"><h1>Glasgow Haskell Compiler Users Guide</h1></a> +</div> +{{ super() }} +{% endblock %} + +{# put the sidebar before the body #} +{% block sidebar1 %}{{ sidebar() }}{% endblock %} +{% block sidebar2 %}{% endblock %} |