-
-<script type="text/javascript" defer="defer">
- function resizeContent() {
- var content = $("content");
- var rightMargin = parseInt(getStyle(content, "right"));
- var bottomMargin = parseInt(getStyle(content, "bottom"));
-
- content.style.width = document.documentElement.clientWidth - content.offsetLeft - rightMargin;
- content.style.height = document.documentElement.clientHeight - content.offsetTop - bottomMargin;
- }
-
- function resizeMap() {
- var sidebar_width = $("sidebar").offsetWidth;
-
- if (sidebar_width > 0) {
- sidebar_width = sidebar_width + 5
- }
-
- $("map").style.left = (sidebar_width) + "px";
- $("map").style.width = ($("content").offsetWidth - sidebar_width) + "px";
- $("map").style.height = ($("content").offsetHeight - 2) + "px";
- }
-
- function handleResize() {
- if (brokenContentSize) {
- resizeContent();
- }
-
- resizeMap();
- }
-
- function maximiseMap() {
- $("left").style.display = "none";
- $("greeting").style.display = "none";
- $("tabnav").style.display = "none";
-
- $("content").style.top = "10px";
- $("content").style.left = "10px";
-
- handleResize();
- }
-
- function minimiseMap() {
- $("left").style.display = "";
- $("greeting").style.display = "";
- $("tabnav").style.display = "";
-
- $("content").style.top = "35px";
- $("content").style.left = "192px";
-
- handleResize();
- }
-
- handleResize();
-
- window.onload = handleResize;
- window.onresize = handleResize;
-</script>