New theme for the maps: New images and background color for the Openlayers
controls.
* include/javascript/OpenLayers/OpenLayers.js: Channged background color
on some components to fit the new theme.
* include/javascript/OpenLayers/img/south-mini.png,
include/javascript/OpenLayers/img/zoom-plus-mini.png,
include/javascript/OpenLayers/img/zoom-world-mini.png,
include/javascript/OpenLayers/img/zoom-minus-mini.png,
include/javascript/OpenLayers/img/zoombar.png,
include/javascript/OpenLayers/img/west-mini.png,
include/javascript/OpenLayers/img/slider.png,
include/javascript/OpenLayers/img/layer-switcher-maximize.png,
include/javascript/OpenLayers/img/north-mini.png,
include/javascript/OpenLayers/img/east-mini.png: New images for the new
theme of the Openlayers controls.
git-svn-id: https://svn.code.sf.net/p/pandora/code/trunk@2484 c3f86ba8-e40f-0410-aaad-9ba5e7f4b01f
6b849c6bd3