/* styles for home_examples page */

h2 {
  font-size: 120%;
  font-weight: bold;
  margin: 2em 0 0.5em 0;
}
h2.first {
  margin-top: 0;
}
div.detail {
  clear: both;
  margin: 0.25em 0 0.25em 12px;
  padding: 0.5em;
  width: 90%;
  background-color: #336699;
  margin-bottom: 0.75em;
  color: White;
}
div.detail h3 {
  font-size: 100%;
  font-weight: bold;
  margin: 0 0 0.5em 0;
}
div.detail img {
  margin: 4px 6px 0 0;
}
div.detail p {
  padding-bottom: 0.5em;
}
div.detail p.short {
  padding-bottom: 0;
  margin-bottom: 0;
}
div.detail A {
  text-decoration: none;
}
div.detail A.view {
  font-size: 110%;
  font-weight: bold;
}
div.detail pre {
  background-color: white;
  color: black;
  margin: 0.25em 0.25em 0 0.25em;
  padding: 0.5em 0.5em 0 0.5em;
}
div.detail div.text {
  background-color: white;
  color: black;
  margin: 0.25em 0.25em 0 0.25em;
  padding: 0.5em 0.5em 0 0.5em;
}
div.detail div.link {
  background-color: white;
  color: black;
  margin: 0 0.25em 0.25em 0.25em;
  padding: 0 0.5em 0.5em 0.5em;
}

div.detail p.gonew {
  margin: 0 0 0 1em;
  padding: 0.25em;
  color: black;
  background-color: yellow;
  width: 11em;
}
div.detail p.gonew A {
  color: black;
  text-decoration: underline;
}