2012-08-28 21:06:20 +02:00
|
|
|
<!DOCTYPE html>
|
|
|
|
<html>
|
|
|
|
|
2012-10-16 06:03:29 +02:00
|
|
|
{# Base template for the whole site. #}
|
2013-02-25 02:59:59 +01:00
|
|
|
{% load compressed %}
|
2012-10-16 06:03:29 +02:00
|
|
|
|
2012-08-28 21:06:20 +02:00
|
|
|
<head>
|
2012-10-22 20:18:50 +02:00
|
|
|
<meta charset="UTF-8">
|
2012-11-20 22:41:14 +01:00
|
|
|
{% if user_profile.realm.domain %}
|
2012-12-05 20:41:49 +01:00
|
|
|
<title>{{user_profile.realm.domain}} - Humbug</title>
|
2012-11-20 22:41:14 +01:00
|
|
|
{% else %}
|
2012-11-26 23:57:31 +01:00
|
|
|
<title>Humbug</title>
|
2012-11-20 22:41:14 +01:00
|
|
|
{% endif %}
|
2012-10-17 19:52:57 +02:00
|
|
|
<!-- HTML5 shim, for IE6-8 support of HTML5 elements -->
|
|
|
|
<!--[if lt IE 9]>
|
|
|
|
<script src="https://html5shim.googlecode.com/svn/trunk/html5.js"></script>
|
|
|
|
<![endif]-->
|
2012-10-31 19:00:40 +01:00
|
|
|
<link href="/static/third/bootstrap/css/bootstrap.min.css" rel="stylesheet">
|
|
|
|
<link href="/static/third/bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
|
2012-10-29 18:02:06 +01:00
|
|
|
<link href='https://fonts.googleapis.com/css?family=Droid+Sans:400,700' rel='stylesheet' type='text/css'>
|
2013-01-30 21:44:52 +01:00
|
|
|
<link href="/static/favicon.ico?v=2" rel="shortcut icon">
|
2012-08-28 22:52:23 +02:00
|
|
|
{# We need to import jQuery before Bootstrap #}
|
|
|
|
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js"></script>
|
2013-05-16 22:42:28 +02:00
|
|
|
{% block page_params %}
|
|
|
|
{# blueslip needs page_params.debug_mode. Set it to false by default. #}
|
|
|
|
<script type="text/javascript">
|
|
|
|
var page_params = {debug_mode: false};
|
|
|
|
</script>
|
|
|
|
{% endblock %}
|
|
|
|
{% compressed_js 'blueslip' %}
|
2012-10-31 19:00:40 +01:00
|
|
|
<script src="/static/third/bootstrap/js/bootstrap.min.js"></script>
|
2013-02-25 02:59:59 +01:00
|
|
|
{% compressed_js 'common' %}
|
2012-09-24 17:17:41 +02:00
|
|
|
{% block customhead %}
|
|
|
|
{% endblock %}
|
2012-08-28 21:06:20 +02:00
|
|
|
</head>
|
|
|
|
|
|
|
|
<body>
|
2012-08-28 18:44:51 +02:00
|
|
|
{% block content %}
|
|
|
|
{% endblock %}
|
2012-08-28 21:06:20 +02:00
|
|
|
</body>
|
|
|
|
|
|
|
|
</html>
|