Sources: O Globo and Brazil public holidays. The more than 100.000 civil servants of the city of Rio de Janeiro will have an additional bridge public holiday on Monday, November 19, 2007, to bridge the gap between the weekend of November 17-18 and the municipal public holiday of November 20 (Zumbi's Birthday, or Day of the Black Consciousness).
Note that this means that civil service in Rio de Janeiro will be closed for 6 consecutive days, from November 15 to November 20, inclusively, as the 15th is a national public holiday, and the 16th was declared a public holiday for all civil servants, nationally (see our post of October 25).