/* 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;
  }
  
/* Make the app name dark green and bold. */
div.header .app span
  {
  font-size: 1.4em;
  }

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

/* Footer menu. */
div.footer
  {
  /* Make the text easy to see. */
  font-size: 1em;
  }

div.footer table td:last-child
  {
  display: none;
  }