<!DOCTYPE html>
<html>

<head>
<title>Mizar</title>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1" />
<meta name="viewport" content="width=device-width, height=device-height, initial-scale=1, maximum-scale=1, user-scalable=no" />

<link rel="stylesheet" href="css/style.css" />

<!-- Dev -->
<script type="text/javascript" data-main="js/main" src="js/require.min.js"></script>

<!-- Prod -->
<!-- <script type="text/javascript" charset="UTF-8" src="MizarWidget.min.js"></script>
<script type="text/javascript">

	window.onload = function(){
		var mizarWidget = new MizarWidget("#mizarWidget-div", {"debug": true, "navigation": { "initTarget": [0,0]}});
		mizarWidget.setCategoryGui(true);
	}

</script> -->

</head>

<body>

<div id="mizarWidget-div">
</div>

</body>

</html>

