1 function set_map_size() {
2 $('#world-map').width($(document).width() - 100);
3 $('#world-map').height(0.8 * $(document).height());
6 function set_log_size() {
7 $('#log').width(0.5 * $(document).width());
8 $('#log').css("margin-top", 0.03 * $(document).height());
9 $('#log').height(0.15 * $(document).height());
12 $(window).resize(function(){