<!--

#contents{
  font-size : 80%;
}

    -->