/* Standard HTML tags. */
a {
  text-decoration: none;
}
a:visited {
  color: blue;
}
body {
  font-family: Arial,Helvetica,sans-serif;
}

/* Custom CSS classes. */
.answer-box {
  width: 600px;
  margin-left: 4px;
}
.big-link {
  cursor: pointer;
  font-size: 130%;
  color: blue;
  padding-left: 5px;
}
.big-num {
  font-size: 150%;
}
.example {
  font-size: 85%;
  font-style: italic;
  padding-top: 5px;
  color: #333;
  display: block;
}
.highlight {
  background-color: FF9;
  font-size:110%;
}
.note {
  font-size: 85%;
  font-style: italic;
  padding-top: 5px;
  color: #731;
}
}
.padded_table td {
  padding: 6px;
}
.question {
  color: #1F57FF;
  font-size: 120%;
  cursor: pointer;
}
.question-nonlink {
  font-size: 130%;
}
.question-table {
  padding-right: 15px;
  width: 410px;
}
.question-text {
  font-size: 80%;
}
.register_form td {
  padding-top:8px;
}
.small-text {
  font-size: 70%;
}
.tag {
  text: #333;
  font-size: 80%;
  background-color: #DDD;
  border-right: 1px solid black;
  border-bottom: 1px solid black;
  border-top: 1px solid #EEE;
  border-left: 1px solid #EEE;
  margin-right: 6px;
  padding: 2px;
  padding-right: 3px;
  padding-left: 4px;
}
.topic_menu td {
  text-align: center;
  background-color: #DDE;
  border-top: 1px solid #EEE;
  border-left: 1px solid #EEE;
  border-right: 1px solid #888;
  border-bottom: 1px solid #888;
  padding: 5px;
  cursor: pointer;
}
.username {
  font-size: 90%;
  color: #002EB8;
  text-decoration: underline;
}
.user-score {
  font-size: 80%;
}
.vote-ans-box {
  padding-right: 15px;
}