div.ExampleDescription {
   font-size: 85%;
}