* {
  border: none;
  font-family: verdana, sans-serif;
  }

body {
  margin: 25px auto;
  width: 540px;
  min-height: 800px;
  color: #000;
  background-color: #569;
  }

/* =div */
div {
  margin: 10px 20px 20px 20px;
  }
div#wrapper {
  background-color: #f5f5ff;
  margin: 0;
  }
div#title {
  text-align: center;
  }
div#table_of_contents {
  background-color: #ddf;
  }
div#content_main {
  padding-top: 20px;
  border-top: 1px solid #888;
  }
div#requirements, div#original, div#specs{
  background-color: #92aaf0;
  }
div#install, div#ported {
  background-color: #6edd81;
  }
div#test_install, div#test1, div#prodcon {
  background-color: #ffdd81;
  }
div#practice, div#test2, div#lfqueue, div#microsoft {
  background-color: #ff8e85;
  }
div#copyright {
  font-size: 60%;
  text-align: right;
  }


/* =boxes */
b.btop, b.btop b, b.bbot, b.bbot b{
  display: block;
  height: 10px;
  font-size: 1px;
  background-repeat: no-repeat;
  }
b.btop b{
  background-position: 100% -10px;
  }
b.bbot{
  background-position: 0 -20px;
  }
b.bbot b {
  background-position: 100% -30px;
  }
  
b.wrapper {
  background-image: url("../images/round_corner_main2.png");
  }
b.table_of_contents {
  background-image: url("../images/round_corner_light_blue.png");
  }
b.requirements, b.original , b.specs {
  background-image: url("../images/round_corner_blue.png");
  }
b.install, b.ported {
  background-image: url("../images/round_corner_green.png");
  }
b.test_install, b.test1, b.prodcon {
  background-image: url("../images/round_corner_orange.png");
  }
b.practice, b.test2, b.lfqueue, b.microsoft {
  background-image: url("../images/round_corner_red.png");
  }
  
  

/* =h1, =h2, =h3, =h4, =h5 */
h1, h2, h3, ol {
  margin: 10px 20px 10px 20px;
  }
h4 {
  margin: 10px 20px 0 20px;
  }
ul {
  margin: 0px 20px 10px 20px;
  }
div#title h1 {
  font-size: 24px;
  font-weight: bold;
  min-height: 70px;
  }
div#table_of_contents li a {
  display: block;
  }
div#table_of_contents li a:hover {
  background-color: #d9d9f9;
  }
  
  
/* =misc */
p {
  text-indent: 30px;
  margin: 0px 20px 10px 20px;
  }
code.terminal, span.br {
  display: block;
  text-indent: 20px;
  margin: 5px 0;
  }
span.br {
  font-size: 80%
  }
ol li {
  margin: 10px 0;
  }
a.top {
  margin: 5px 0 5px 370px;
  font-size: 60%;
  }
h4.code {
  padding: 0;
  margin: 10px auto 0px auto;
  text-align: center;
  font-weight: bold;
  font-size: 12px;
  }
code.code {
  display: block;
  font-family: monospace;
  font-size: 11px;
  width: 90%;
  margin: 0px auto;
  padding: 10px 5px;
  border: 1px inset #000;
  white-space: pre-wrap; /* css-3 */
  }
div#original code.code {
  background-color: #ddf;
  }
div#ported code.code {
  background-color: #dfd;
  }
div#test1 code.code {
  background-color: #ffd;
  }
div#test2 code.code {
  background-color: #fdd;
  }
div#breadcrumbs {
  float: left;
  margin: 15px 0px 5px 22px;
  width: 410px;
  }
div#logo {
  width: 84px;
  height: 84px;
  margin: 5px 0px 5px 20px;
  padding: 0;
  float: left;
  }
div#logo:hover {
  opacity: 0.9;
  }
div#breadcrumbs {
  color: #555;
  font-size: 12px;
  }

span.comment {
  color: green;
  font-family: monospace;
  }
span.mistake {
  color: red;
  font-family: monospace;
  }
span.test {
  color: blue;
  font-family: monospace;
  }
span.change {
  color: #ffa500;
  font-family: monospace;
  }
img.pdf {
  border: 1px solid black;
  }
span.pdf {
  display: block;
  margin: 3px auto 10px auto;
  text-align: center;
  }

h3 a {
  text-decoration: none;
  }
a {
  text-decoration: none;
  color: #11f;
  }
a:visited {
  color: #22f;
  }
a:hover {
  text-decoration: underline;
  color: #33f;
  }

ol.secondary {
  margin: 0;
  padding-left: 30px;
  }

body#tutorial_index div#tut_lfqueue_1 {
  background-color: #ff8e85;
  }

body#tutorial_index b.tut_lfqueue_1 {
  background-image: url("../images/round_corner_red.png");
  }
  
body#chess_index div#tutorial {
  background-color: #ff8e85;
  }

body#chess_index b.tutorial {
  background-image: url("../images/round_corner_red.png");
  }
  
body#lockfreequeue div#test1_tut {
  background-color: #6edd81;
  }
body#lockfreequeue b.test1_tut {
  background-image: url("../images/round_corner_green.png");
  }