    /* the Google map itself */
    .map {
        width: 80%;
        height: 100%;
        float:left;
    }
    /* text style on the scale panel */
    .map_title {
        color: #000000;
        font-size:24px;
	font-style:normal;
	font-family:Helvetica;
	font-weight:bold;
    }
    /* formatting of panel to the right of the map containing the colour scale and fader */
    .right_panel {
        float:left;
        color: #000000;
        background: #ffffff;
        width: 20%;
        height: 100%;
    }
    /* formatting of the colour scale text */
    .scale {
        font-size:12px;
	font-style:normal;
	font-family:Helvetica;
	font-weight:normal;
        border-color: #d0d0d0;
        border-style: solid;
        border-width: 1px;
        margin: 4px;
    }
    /* formatting of the coloured boxes on the scale panel */
    .scale_colour {
        border-color: #000000;
        border-style: none;
        border-width: 1px;
        width: 16px;
        height: 16px;
    }
    /* formating on panel containing fader buttons */
    .fader {
        border-color: #d0d0d0;
        border-style: solid;
        border-width: 1px;
        text-align: center;
        padding-top: 3px;
        padding-bottom: 4px;
        margin: 8px 4px 8px 4px;
    }
