git.maemo.org Git - routino/blob - web/www/routino/maplayout-ie7-bugfixes.css

   1 /*
   2 // Routino Internet Explorer 7 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 /*-------------*/
  25 /* Right panel */
  26 /*-------------*/
  27
  28 /*
  29   What seems to happen is that the map div in the right panel picks up the size
  30   of the right_panel div itself but won't fill the area unless a width and
  31   height are given.  Using 100% width and height is then the whole size of the
  32   right_panel and the border makes it bigger still.
  33
  34   This fix makes the right_panel smaller all round, the map div has its edges
  35   moved out to allow the border to be visible all round and has 100% size.  The
  36   attribution needs to be given a position outside of the right_panel to make
  37   sure that is isn't covered by the map.
  38 */
  39
  40 DIV.right_panel
  41 {
  42  top:    3px    !important;
  43  bottom: 1.7em  !important;
  44  right:  3px    !important;
  45  left:   23.7em !important;
  46 }
  47
  48 DIV.map
  49 {
  50  top:    -3px !important;
  51  bottom: -3px !important;
  52  right:  -3px !important;
  53  left:   -3px !important;
  54
  55  width:  100% !important;
  56  height: 100% !important;
  57 }
  58
  59 DIV.attribution
  60 {
  61  bottom: -1.7em !important;
  62
  63  width:  100% !important;
  64 }