body {
  color: #000000;
  background-color: #e0e0e0;
  font-size: larger;
}

div#title {
  font-size: x-large;
  font-weight: bold;
  text-align: center;
}

div#links {
  display: table;
  margin: 8pt auto;
  padding: 8pt;
  width: 584pt;
  border: 1px solid black;
  font-weight: bold;
  background-color: white;
}

div#links ul {
  margin: 0pt;
}

div#links a {
  font-weight: normal;
}

form#paste {
  display: table;
  margin: 8pt auto;
  padding: 8pt;
  width: 600pt;
}

form#paste div#text {
  font-weight: bold;
}

form#paste div#text textarea {
  display: block;
  width: 100%;
  margin: 4pt 0pt;
  padding: 2pt;
}

form#paste div#save input {
  font-weight: bold;
}