<hr />
<p class="muted text-center">The People of wurstmineberg.de 2012–2014</p>
<script src="//code.jquery.com/jquery-1.10.1.min.js"></script>
<script src="/static/js/underscore-min.js"></script>
<script src="//netdna.bootstrapcdn.com/bootstrap/3.0.0/js/bootstrap.min.js"></script>
<script src="//jquerymy.com/js/md5.js"></script>
<script src="/static/js/common.js"></script>
<script type="text/javascript">
    // run by default
    linkify_headers();
    configure_navigation();
    set_anchor_height();
    display_funding_data();
    $(".use-tooltip").tooltip();
    $("abbr").tooltip();
</script>

<hr />
<p class="muted text-center">The People of wurstmineberg.de 2012–2014</p>
<script src="//code.jquery.com/jquery-1.10.1.min.js"></script>
<script src="/static/js/underscore-min.js"></script>
<script src="//netdna.bootstrapcdn.com/bootstrap/3.0.0/js/bootstrap.min.js"></script>
<script src="//jquerymy.com/js/md5.js"></script>
<script src="/static/js/common.js"></script>
<script type="text/javascript">
    // run by default
    linkify_headers();
    configure_navigation();
    set_anchor_height();
    display_funding_data();
    $(".use-tooltip").tooltip();
    $("abbr").tooltip();
    // mark as dev.wurstmineberg.de
    if (isDev) {
        $('.navbar-brand').after($('<span>').css({
            color: 'red',
            left: 100,
            position: 'absolute',
            top: 30,
            transform: 'rotate(-10deg) scale(2)',
            'z-index': 10
        }).text('[DEV]'));
    }
</script>

Add a big red dev marker to the navbar of dev.wurstmineberg.de
Add a big red dev marker to the navbar of dev.wurstmineberg.de
