#world {
    [zoom>9] { marker-height: 4; }
    [zoom>6][zoom<10] { marker-height: 3; }
    [zoom>3][zoom<7] { marker-height: 2; }
    [zoom<4] { marker-height: 1; }
}