#world[zoom>3] {
  text-name:"[COUNTRY]";
  text-face-name:"DejaVu Sans Book";
  text-fill:#000;
  text-size:9;
}
#world[zoom=5] { text-size:10; }
#world[zoom=6] { text-size:11; }
#world[zoom=7] { text-size:12; }