* {
  font: Verdana;
  font-size: 11px;
}

pre {
  width: 620px;
}

A.menu { text-decoration: none; color: #ffffff }
A.menu:hover { text-decoration: none; color: #ffff00 }
A.menu2 { text-decoration: none; color: #000000 }
A.menu2:hover { text-decoration: none; color: #2222FF }

a {
  text-decoration: none;
}

div.rowArticle {
  background-color: #C0C0C0;
  border:1px solid #000000;
  padding: 10px;
  margin: 10px 10px 10px 10px;
}

div.rowArticleText {
  margin: 0px 0px 0px 20px;
}

div.rowArticleCode {
  background-color: #EEEEEE;
  border:1px solid #000000;
  padding: 10px;
  margin: 10px 10px 10px 20px;
}

div.articleSummary {
  background-color: EEEEEE;
  border:1px solid #000000;
  padding: 5px;
  margin: 10px 10px 10px 20px;
  width: 90%;
}

div.articleSummaryIntro {
  background-color: EEEEEE;
  border:1px solid #000000;
  padding: 5px;
  margin: 10px 10px 10px 20px;
  width: 90%;
}