div.tagcloud {
  padding:5px 0;
}
div.tagcloud a {
  padding:2px;
  color:#333;
  font-weight:bold;
  text-decoration:none;
  line-height:1.5em;
}
div.tagcloud a:hover {
  padding:2px;
  color:#CC0000;
  font-weight:bold;
  text-decoration:underline;
  line-height:1.5em;
}
div.tagcloud a.s1 {
  font-size:0.9em;
}
div.tagcloud a.s2 {
  font-size:1.0em;
}
div.tagcloud a.s3 {
  font-size:1.15em;
}
div.tagcloud a.s4 {
  font-size:1.3em;
}
div.tagcloud a.s5 {
  font-size: 1.5em;
}
div.tagcloud a.active {
  text-decoration:underline;
}