pre.main {
/*    font-family:      monospace;*/
/*    font-weight:      normal;*/
    white-space: -moz-pre-wrap; /* Mozilla */
    white-space: -pre-wrap;     /* Opera 4-6 */
    white-space: -o-pre-wrap;   /* Opera 7 */
    white-space: pre-wrap;      /* CSS3 */
    word-wrap  : break-word;    /* IE 5.5 */
/*    line-height:      1.1em;*/
    color:            #000000;
    background-color: #ffffff;
/*    margin:           0em 0em 0em 0em;*/
/*    padding:          0.5em;*/
    border: 0;
    padding: 0;
    text-decoration: none;
    font-family: monospace;
  text-align: left;
}

pre.body {
    white-space: -moz-pre-wrap; /* Mozilla */
    white-space: -pre-wrap;     /* Opera 4-6 */
    white-space: -o-pre-wrap;   /* Opera 7 */
    white-space: pre-wrap;      /* CSS3 */
    word-wrap  : break-word;    /* IE 5.5 */
    font-family: monospace;
    width: auto;
}

a.back {
    text-decoration: none;
}

pre.header {
/*    font-family:      monospace;*/
/*    font-weight:      normal;*/
    white-space: -moz-pre-wrap; /* Mozilla */
    white-space: -pre-wrap;     /* Opera 4-6 */
    white-space: -o-pre-wrap;   /* Opera 7 */
    white-space: pre-wrap;      /* CSS3 */
    word-wrap  : break-word;    /* IE 5.5 */
/*    line-height:      1.1em;*/
    color:            #000000;
    background-color: #ffffff;
/*    margin:           0em 0em 0em 0em;*/
/*    padding:          0.5em;*/
    border: 0;
    padding: 0;
    text-decoration: none;
    font-family: monospace;
  text-align: left;
  padding-bottom: 0.33em;
  border-bottom: 2px solid #000000;
}

pre.footer {
/*    font-family:      monospace;*/
/*    font-weight:      normal;*/
    white-space: -moz-pre-wrap; /* Mozilla */
    white-space: -pre-wrap;     /* Opera 4-6 */
    white-space: -o-pre-wrap;   /* Opera 7 */
    white-space: pre-wrap;      /* CSS3 */
    word-wrap  : break-word;    /* IE 5.5 */
/*    line-height:      1.1em;*/
    color:            #000000;
    background-color: #ffffff;
/*    margin:           0em 0em 0em 0em;*/
/*    padding:          0.5em;*/
    border: 0;
    padding: 0;
    text-decoration: none;
    font-family: monospace;
  text-align: left;
  padding-top: 0.33em;
  border-top: 2px solid #000000;
}

span.h1 {
 font-size: 160%;
 font-weight: bold;
}

span.h2 {
 font-size: 130%;
 font-weight: bold;
 border-bottom: 1px solid #000000;
 display: inline-block;
 width: 100%;
}

span.h3 {
 font-size: 110%;
 font-weight: bold;
}

span.h4 {
 font-size: 160%;
 font-weight: bold;
}

span.h5 {
 font-size: 130%;
 font-weight: bold;
}

span.h6 {
 font-size: 100%;
 font-weight: bold;
}

pre.example {
 background-color: #f9f9f9;
 border-style: solid;
 border-width: 1px;
 border-color: #bbbbbbs;
 padding: 0.75em;
 text-align: left;
// margin-left:10px;
 margin-right: 6px;
 margin-top: 0;
 margin-bottom: -1em;
}

div.box {
 background-color: #f9f9f9;
 border-style: solid;
 border-width: 1px;
 border-color: #bbbbbbs;
 padding: 0.75em;
 text-align: left;
 margin-left: 0px;
 margin-right: 6px;
 margin-top: 0;
 margin-bottom: -1em;
 display: inline-box;
 width: auto !important;
}

div.box2 {
 background-color: #f9f9f9;
 border-style: solid;
 border-width: 1px;
 border-color: #bbbbbbs;
 padding: 0.75em;
 text-align: left;
 margin-left: 0px;
 margin-right: 6px;
 margin-top: 0;
 margin-bottom: -1em;
 display: table;
 width: auto !important;
}

pre.box {
 background-color: #f9f9f9;
 border-style: solid;
 border-width: 1px;
 border-color: #bbbbbbs;
 padding: 0.75em;
 text-align: left;
 margin-left: 0px;
 margin-right: 6px;
 margin-top: 2em;
 margin-bottom: -1em;
 display: inline;
/* width: auto; */
}

span.adsense {
    margin-bottom: 1em;
    display: inline-box;
}

h1 {
    display: inline;
    margin-bottom: -1em;
    padding: 0;
}

h2 {
    display: inline;
}