Imported Upstream version 1.5.1
[routino] / web / www / routino / maplayout-ie6-bugfixes.css
1 /*
2 // Routino Internet Explorer 6 map layout web page style sheet.
3 //
4 // Part of the Routino routing software.
5 //
6 // This file Copyright 2010 Andrew M. Bishop
7 //
8 // This program is free software: you can redistribute it and/or modify
9 // it under the terms of the GNU Affero General Public License as published by
10 // the Free Software Foundation, either version 3 of the License, or
11 // (at your option) any later version.
12 //
13 // This program is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 // GNU Affero General Public License for more details.
17 //
18 // You should have received a copy of the GNU Affero General Public License
19 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
20 */
21
22
23 /*----------------------------------*/
24 /* Body HTML formatting             */
25 /*----------------------------------*/
26
27 /*
28   Internet Explorer 6 doesn't understand 'postion: fixed' styles.  The best that
29   can be done is the following to make it the equivalent of absolute positioning.
30   This is "well-known" problem, you can find details on the internet.
31 */
32
33 * HTML
34 {
35  overflow-x: auto;
36 }
37
38 * HTML BODY
39 {
40  height: 100%;
41  width:  100%;
42  overflow: auto;
43 }
44
45
46 /*-------------*/
47 /* Right panel */
48 /*-------------*/
49
50
51 /*
52   Internet Explorer 6 ignores the fact that the map and attribution divs are
53   within the right_panel and positions them all over everything (probably due
54   to the previous hacks).  The fix for this is to make the left edges of these
55   divs line up with where the edge of the right_panel is.
56 */
57
58 DIV.map
59 {
60  left:  23.5em !important;
61 }
62
63 DIV.attribution
64 {
65  left:  23.5em !important;
66 }
67
68
69 /*
70   In addition to the poor positioning we need to set a height and width of the
71   map so we guess what fits in the user's window.
72 */
73
74 DIV.map
75 {
76  width:  65%;
77  height: 90%;
78 }
79
80 DIV.attribution
81 {
82  width:  65%;
83 }