* {
  font-family: verdana, sans-serif;
}

body {
  font-size: smaller;
}

pre {
  font-family: monospace;
}