/*
 * Copyright (c) 2011 Marshall Cline, Ph.D.  All Rights Reserved.
 * Part of the C++ FAQ, which is also Copyright (c) Marshall Cline, Ph.D.
 * See copyright.html for additional information regarding copyright ownership.
 */

html {
/*overflow-y:       scroll;*/
}

body {
  margin:           0px;
  color:            #000000;
  background-color: #FFFFFF;
  font-family:      Arial, Helvetica, sans-serif;
  font-size:        12px;
  quotes:           "\201C" "\201D" "\2018" "\2019";
  overflow:         scroll;
}

input {
  font-size:        10px;
  font-family:      Arial, Helvetica, sans-serif;
  border-width:     1px;
  border-color:     #BFBFBF;
}

.toggleable form input {
  background-color: #D8D8D8;
}

#search-box {
  color:            #A0A0A0;
}

#toggleable-search-box {
  background-color: #FAFAFA;
}

#master-table {
  width:            100%;
}

#welcome-banner {
  border-bottom:    solid #000000 1px;
}

#ad-banner {
  /*display:        none;*/
  border-bottom:    solid #000000 1px;
  width:            100%;
  text-align:       center;
}

#breadcrumbs {
  padding-top:      10px;
  font-weight:      bold;
  font-size:        100%;
  padding-bottom:   10px;
  border-bottom:    solid #000000 1px;
}

#toc {
  border-right:     solid #000000 1px;
  background-color: #F0F0F0;
  width:            20%;
/*width:            25em;*/
/*max-width:        25em;*/
}

.toc-title {
  padding-top:      10px;
  font-weight:      bold;
  font-size:        100%;
/*padding-bottom:   xx;  <--intentionally omitted*/
/*border-bottom:    xx;  <--intentionally omitted*/
}

.toc-body {
  padding-left:     5px;
  padding-top:      10px;
  padding-bottom:   10px;
/*border-bottom:    solid #000000 1px;*/
}

.toggleable {
  padding-left:     10px;
  padding-right:    10px;
  display:          block;  /*function toggle() toggles this between 'block' and 'none'*/
}

#common-footer {
  padding-top:      10px;
  height:           100%;
  padding-bottom:   10px;
  border-bottom:    solid #000000 1px;
}

#main {
/*padding-top:      5px;*/
  padding-bottom:   5px;
  border-bottom:    solid #000000 1px;
  width:            80%;
}

#main-title {
  font-family:      Verdana, Arial, Helvetica, sans-serif;
  font-size:        17px;
  font-weight:      bold;
  margin-bottom:    5px;
  padding:          3px;
  border-color:     #538CD3;  /* the blue in cpp-faq-blue-shadow.png */
  background-color: #63A9FF;  /* same as 538CD3 but brighter */
  border-style:     outset;
  border-width:     3px;
/*border-radius:         3px;*/
/*-moz-border-radius:    3px;*/
/*-webkit-border-radius: 3px;*/
}

#main-body {
  padding-left:     5px;
}

.recently-updated {
  font-size:        90%;
  font-style:       italic;
}

table {
  border-collapse:  collapse;
}

td {
  text-align:       left;
  vertical-align:   top;
}

pre {
  border:           1px solid #D4D4D4;
  background-color: #F3F3FF;  /* or DFDFDF */
  margin-left:      30px;
  margin-right:     30px;
  padding:          5pt 8pt;
  font-family:      monospace;
  white-space:      pre;
}

pre em {
  font-family:      Arial, Helvetica, sans-serif;
  font-style:       italic;
  font-size:        100%;
}

tt {
  font-family:      monospace;
  white-space:      nowrap;
}

img {
  border:           none;
}

ul {
  margin-bottom:    1px;
  margin-top:       1px;
}

ol {
  margin-bottom:    1px;
  margin-top:       1px;
}

li {
  margin-bottom:    4px;
  margin-top:       4px;
}

blockquote {
  margin:           2em 0px;
  padding-left:     40px;
}

blockquote:before {
  color:            #990000;
  content:          '\201C'; /* http://monc.se/kitchen/129/rendering-quotes-with-css */
  font-family:      serif;
  font-size:        400%; /*6em*/
  font-weight:      bold;
  line-height:      0px;
  margin-left:      -0.5em; /*-40px*/
  margin-right:     5px;
  vertical-align:   bottom;
}

a:link,a:visited {
  color:            #3B6699;  /* or 0645AD; NB 3B6699 is same as 538CD3 but darker, and 538CD3 is the blue in cpp-faq-blue-shadow.png */
  background-color: transparent;
  text-decoration:  none;
}
a:hover,a:active {
  color:            #993B66;  /* or CC2200; NB 993B66 is same as D4528D but darker, and D4528D is equidistant on color-wheel to 538CD3 */
  background-color: transparent;
  text-decoration:  underline;
}

.cpp11 {
  background-color: #F3F3FF;  /* or DFDFDF */
}

.new-or-changed {
  font-size:        80%;
  font-family:      cursive;
  background-color: #FFFF00;
  border:           solid #E0E000 1px;
}