/* Don't use padding for dd. */
dd
  {
  margin-left: 0;
  }
  
/* Header. */
div.header
  {
  /* Make a fixed header across the top. */
  height: 50px;
  }
  
/* Specify the size of the header logo. */
div.header .logo
  {
  height: 40px;
  margin: 5px;
  }
  
div.header .app
  {
  }
  
/* Make the app name dark green and bold. */
div.header .app span
  {
  font-size: 1.4em;
  line-height: 50px;
  }

/* Use the correct size for the app icon. */
div.header .app img
  {
  width: 32px;
  height: 32px;
  margin-top: 8px;
  margin-bottom: 9px;
  }
    
/* Float the language controls at the right of the header. */
div.header .language
  {
  display: none;
  }
  
.content
  {
  padding: 5px;
  line-height: 1.4em;
  }
  
#splash
  {
  margin-top: 60px;
  }
  
#splash img 
  {
  }
  
.content h1
  {
  font-size: 1.4em;
  margin: 1px;
  }
  
.content h2
  {
  font-size: 1em;
  margin: 1px;
  }
  
.anchor
  {
  margin-bottom: 55px;
  
  padding-bottom: 1px;
  }

.usage img
  {
  max-width: 100%;
  display: block;
  float: none;
  }
  
a.linkbox
  {
  display: none;
  }
  
/* Footer menu. */
div.footer
  {
  /* Make the text easy to see. */
  font-size: 1em;
  }

div.footer a,
div.footer a:hover,
div.footer a:active,
div.footer a:visited
  {
  margin: 2px;
  }
  
.nophone
  {
  display: none;
  }