<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" xml:lang="de">
	<head>
		<title>BRICS - Best Practice in Robotics</title>
		
		<link rel="stylesheet" type="text/css" media="screen" href="css/style.css" />
		<script src="http://code.jquery.com/jquery-latest.js" type="text/javascript"></script>
		<script>
			function real_width(element)
			{
				return element.width() + parseInt(element.css('paddingLeft')) + parseInt(element.css('paddingRight')) + parseInt(element.css('marginLeft')) + parseInt(element.css('marginRight'));
			}
			function real_height(element)
			{
				return element.height() + parseInt(element.css('paddingTop')) + parseInt(element.css('paddingBottom')) + parseInt(element.css('marginTop')) + parseInt(element.css('marginBottom'));
			}
			function fit_fontsize ()
			{
				if ($(window).width() > 800)
					$('body').css('fontSize', "15px");
				else if ($(window).width() > 600)
					$('body').css('fontSize', "13px");
				else if ($(window).width() > 400)
					$('body').css('fontSize', "11px");
				else if ($(window).width() > 300)
					$('body').css('fontSize', "10px");
				else if ($(window).width() > 200)
					$('body').css('fontSize', "8px");
			}
			function fit_content ()
			{
				var w = $(document).width();
				if (w > 1100) w = 1100;
				$('#content').width(w - real_width($('#navigation')) - (parseInt($('#navigation').css('paddingLeft')) + parseInt($('#navigation').css('paddingRight')) + parseInt($('#navigation').css('marginLeft')) + parseInt($('#navigation').css('marginRight'))));
			}
			$(document).ready(function ()
			{
				fit_content();
				fit_fontsize();
			});
			$(window).resize(function ()
			{
				fit_content();
				fit_fontsize();
			});
		</script>
	</head>
	<body>
		<div id="header">
			<h1><a href="/">BRICS - Best Practice in Robotics</a></h1>
		</div>
		<div id="navigation">
			<? echo $navigation->display_navigation(); ?>
		</div>
		<div id="content">
			<? include($navigation->include_filename()); ?>
		</div>
		<div id="footer">
			 
		</div>
	</body>
</html>