html {
  margin-left: 0;
  margin-right: 0;
  padding-left: 0;
  padding-right: 0;
}

body {
  margin-left: 2%;
  margin-right: 0;
  background: #FFF;
  color: #000;
  padding: 0;
}

div {
  margin: 0px;
  padding: 0px;
}

div.htmlsucks {
  clear: both;
}

div.toplinkgroup {
  padding: 0;
  height: 3em;
  margin-right: 12px;
}


body div.toplinkgroup ul {
  display: block;
  height: 3em;
  margin: 0px;
  padding: 0px;
  list-style: none;
  width: 90%;
}

html > body div.toplinkgroup ul { /* hidden from IE 6 */
  float: right;
  width: auto;
  clear: right;
}


div.toplinkgroup ul li {
  display: block;
  margin: 0px;
  padding: 0px;
}

html > body div.toplinkgroup ul > li { /* hidden from IE 6 */
  height: 3em;
  line-height: 1em;
  float: left;
  width: auto;
}

div.toplinkgroup ul li a {
  border-left: none;
}
html > body div.toplinkgroup ul li a {
  float: left;
  height: 3em;
  border: 4px solid #CCC;
  display: block;
  text-decoration: none;
}

html > body div.toplinkgroup ul li a span {
  display: block;
  margin: 0.2em;
  float: left;
  width: 4.5em;
  font-family: serif;
  height: 2em;
  font-style: italic;
}


html > body div.toplinkgroup ul li a:hover {
  text-decoration: none;
  background: #CCC;
  height: 3em;
}

html > body div.toplinkgroup ul li a.tlgleft {
  border-left: 4px solid #CCC;
  border-top-left-radius: 16px;
  border-bottom-left-radius: 16px;
  -moz-border-radius-topleft: 16px;
  -moz-border-radius-bottomleft: 16px;
  -webkit-border-radius-topleft: 16px;
  -webkit-border-radius-bottomleft: 16px;
  height: 3em;
  background: #EEE;
}
html > body div.toplinkgroup ul li a.tlgleft:hover {
  text-decoration: none;
  background: #CCC;
  height: 3em;
}

html > body div.toplinkgroup ul li a.tlgright {
  border-top-right-radius: 16px;
  border-bottom-right-radius: 16px;
  -moz-border-radius-topright: 16px;
  -moz-border-radius-bottomright: 16px;
  -webkit-border-radius-topright: 16px;
  -webkit-border-radius-bottomright: 16px;
  height: 3em;
}
html > body div.toplinkgroup ul li a.tlgright:hover {
  text-decoration: none;
  background: #CCC;
  height: 3em;
}
html > body div.toplinkgroup ul li a.forarchitects {
  background: #DED;
}
html > body div.toplinkgroup ul li a.forarchitects:hover {
  background: #CCC;
}
html > body div.toplinkgroup ul li a.forusers {
  background: #FDE;
}
html > body div.toplinkgroup ul li a.forusers:hover {
  background: #CCC;
}
html > body div.toplinkgroup ul li a.forimplementers {
  background: #DDF;
}
html > body div.toplinkgroup ul li a.forimplementers:hover {
  background: #CCC;
}
html > body div.toplinkgroup ul li a.fordocuments {
  background: #FFD;
}
html > body div.toplinkgroup ul li a.fordocuments:hover {
  background: #CCC;
}

div.quote {
  float: right;
  margin-right: 12px;
  margin-top: 0px;
  font-size: 120%;
  text-align: right;
  width: 35%;
}
div.quote p {
  margin-top: 0px;
}
div.quote cite {
  font-size: 80%;
}

/* div.topics is a wrapper for all the topics and news */
div.topics {
  width: 64%;
  padding-right: 1%;
}
html > body div.topics {
  float: left;
}

div#newsintro p {
  line-height: 200%;
}

div.news h2 {
  color: #CCC;
  font-size: 84pt;
  line-height: 120pt;
  margin-top: 0px;
  font-variant: small-caps;
  letter-spacing: -4pt;
}

html > body div.news h2 {
  margin-bottom: -78pt;
}

div.news ul {
  text-indent: 0px;
  margin-left: 0px;
  padding-left: 0px;
}
div.news ul li {
  text-indent: 0px;
  padding-left: 0px;
  list-style: none;
  margin-left: 0px;
}

div.date {
  display: inline;
  font-weight: bold;
  color: #333;
}

div.news div.item {
  margin-bottom: 1em;
  line-height: 130%;
  background: #EEE;
}
div.news div.item h3 {
  margin-top: 0;
  margin-bottom: 0;
}

div.news div.item p {
  display: inline;
}

div.news a {
  text-decoration: none;
}


div.news {
  border: 8px solid #CCC;
  border-radius: 16px;
  -moz-border-radius: 16px;
  -webkit-border-radius: 16px;
  width: 30%;
  padding-left: 0.5em;
  margin-right: 8px;
  background: #EEE;
  overflow: hidden;
}

html > body div.news {
  float: right;
}

a.news {
  background: #EEE;
}

div.topic {
  margin-left: -1%;
  border: 8px solid #CCC;
  border-radius: 16px;
  -moz-border-radius: 16px;
  -webkit-border-radius: 16px;
  margin-bottom: 2em;
  background: #EEE;
  overflow: hidden;
  padding: 0;
}

div.topic h3 {
  margin-left: 48pt;
}

div.topic h2 {
  color: #CCC;
  font-size: 84pt;
  line-height: 120pt;
  margin-top: 0px;
  font-variant: small-caps;
  letter-spacing: -4pt;
}

html > body div.topic h2 {
  margin-bottom: -78pt;
}

div.stackingcontext {
}
div.topic p {
  margin-left: 48pt;
  line-height: 200%;
  margin-right: 1em;
}
div.topic h3 {
  margin-left: 48pt;
}

div.topic ol li p {
  margin-left: 0;
  line-height: 133%;
}

div.topic dl {
  margin-left: 48pt;
}

div.topic dl dt {
  margin-left: -16pt;
  width: 64pt;
  display: inline;
}

div.topic dl dd {
  margin-left: 18pt;
}

div.topic dl dd p {
  margin-left: 0;
}

p.message {
  color: red;
}

div.contents  {
  width: 90%;
}

div.contents > h2 {
  margin-bottom: 0px;
  padding-bottom: 0px;
  line-height: 100%;
}
div.contents > ul {
  margin-top: 0px;
}

div.contents > ul > li {
  margin-top: 0px;
}

div.contents > ul > li a {
  text-decoration: none;
}

div.overview {
  margin-right: 12px;
  margin-top: 2em;
  clear: both;
}

div.specgroup {
  margin-left: 1em;
  margin-right: 1em;
  padding-left: 1em;
  padding-right: 1em;
  border: 2px dotted #CCC;
  margin-bottom: 1em;
}

div.specgroup p {
  margin: 0px;
  line-height: 1.3em;
}

div#documents {
}

/* bg colours */
div.forexecutives {
  background: #EEE;
}

div.forarchitects {
  background: #DED;
}

div.forusers {
  background: #FDE;
}

div.forimplementers {
  background: #DDF;
}

html body div.forimplementers h2 {
  letter-spacing: -6pt;
}


div.docpicture {
  background: #FEFFF0;
  background: url(../old-books-background-light-q50-512x384.jpg) no-repeat;
}
div.fordocuments {
  background: #FEFFF0;
}

div.content {
  clear: both;
  width: 98%;
}

h1 {
  clear: both;
}

span.kudos:before {
    content: "\00a0\00b6\00a0";
    color: #F33;
}

span.update:before {
    content: "\00a0\00b6\00a0";
    color: #F33;
}