@ -1,21 +1,21 @@
@@ -1,21 +1,21 @@
body {
background-color: #ffffff;
color: #000000;
margin: 0;
padding: 0;
font-family: helvetica, arial,sans-serif;
font-size: 12pt;
body {
background-color: #ffffff;
color: #000000;
margin: 0;
padding: 0;
font-family: helvetica, arial,sans-serif;
font-size: 12pt;
/* needed so buttons created with css don't bleed into text */
line-height: 1.3;
}
}
body.book, body.article, body.chapter, body.part, body.preface, body.sect1, body.index, body.colophon, body.glossary, body.reference, body.refentry {
font-family: helvetica, arial,sans-serif;
font-size: 12pt;
background-color: #ffffff;
margin: 0;
padding : 0;
}
font-family: helvetica, arial,sans-serif;
font-size: 12pt;
background-color: #ffffff;
margin: 0;
padding : 0;
}
p, td, th, .variablelist {
font-family: helvetica, arial, sans-serif;
@ -25,11 +25,11 @@ p, td, th, .variablelist {
@@ -25,11 +25,11 @@ p, td, th, .variablelist {
}
div.article p {
font-family: helvetica, arial, sans-serif;
font-size: 12pt;
/* if in article made from XML left must be 10 so it lines up */
margin : 10px 10px 10px 10px;
}
font-family: helvetica, arial, sans-serif;
font-size: 12pt;
/* if in article made from XML left must be 10 so it lines up */
margin : 10px 10px 10px 10px;
}
li {
font-family: helvetica, arial, sans-serif;
@ -47,8 +47,8 @@ table.note, table.tip, table.important, table.caution, table.warning {
@@ -47,8 +47,8 @@ table.note, table.tip, table.important, table.caution, table.warning {
width: 95%;
font-family: helvetica, arial, sans-serif;
font-size: 12pt;
border: 2px solid #B0C4DE;
background-color: #F0F8FF;
border: 2px solid #B0C4DE;
background-color: #F0F8FF;
color: #000000;
/* padding inside table area */
padding: 0.5em;
@ -58,26 +58,26 @@ table.note, table.tip, table.important, table.caution, table.warning {
@@ -58,26 +58,26 @@ table.note, table.tip, table.important, table.caution, table.warning {
/* set width smaller and IE is happy */
ul table.note, ul table.tip, ul table.important, ul table.caution, ul table.warning, ol table.note, ol table.tip, ol table.important, ol table.caution, ol table.warning {
width: 95%;
}
width: 95%;
}
.computeroutput, .command {
font-family: courier, courier new, monospace;
font-size: 12pt;
font-family: courier, courier new, monospace;
font-size: 12pt;
}
.userinput {
font-family: courier, courier new, monospace;
font-size: 12pt;
font-weight: bold;
}
font-family: courier, courier new, monospace;
font-size: 12pt;
font-weight: bold;
}
table.screen {
width: 95%;
font-family: courier, courier new, monospace;
font-size: 12pt;
border: 2px solid #A9A9A9;
background-color: #DCDCDC;
border: 2px solid #A9A9A9;
background-color: #DCDCDC;
color: #000000;
padding: 0.5em;
margin-bottom: 0.5em;
@ -88,15 +88,15 @@ table.calstable {
@@ -88,15 +88,15 @@ table.calstable {
width: 95%;
font-family: helvetica, arial, sans-serif;
font-size: 12pt;
background-color: #DCDCDC;
background-color: #DCDCDC;
color: #000000;
}
table.calstable td {
font-family: helvetica, arial, sans-serif;
font-size: 12pt;
border: 1px solid #A9A9A9;
background-color: #DCDCDC;
border: 1px solid #A9A9A9;
background-color: #DCDCDC;
color: #000000;
padding: 0.5em;
margin-bottom: 0.5em;
@ -106,46 +106,46 @@ table.calstable td {
@@ -106,46 +106,46 @@ table.calstable td {
table.calstable th {
border: 2px solid #A9A9A9;
background-color: #A9A9A9;
background-color: #A9A9A9;
color: #000000;
}
.navheader, .navfooter {
background-color: #ffffff;
color: #000000;
background-color: #ffffff;
color: #000000;
/* need top margin so title line isn't touching the top */
margin : 10px 20px 0px 20px;
font-family: helvetica, arial,sans-serif;
font-size: 12pt;
font-family: helvetica, arial,sans-serif;
font-size: 12pt;
}
div.navheader hr, div.navfooter hr {
background-color: #CCCCCC;
margin: 0px 0px 0px 0px;
height: 1px;
border-style: none;
height: 1px;
border-style: none;
}
div.navheader table, div.navfooter table {
width: 95%;
background-color: #ffffff;
margin: 0px 0px 0px 0px;
div.navheader table, div.navfooter table {
width: 95%;
background-color: #ffffff;
margin: 0px 0px 0px 0px;
padding: 0;
font-family: helvetica, arial,sans-serif;
font-size: 12pt;
}
}
body>div.navheader table, body>div.navfooter table {
/* Hidden from IE */
width: 100%;
}
/* Hidden from IE */
width: 100%;
}
/* top hr on index page is not in a div so it needs div margins */
hr {
hr {
background-color: #CCCCCC;
margin: 0px 10px 0px 10px;
height: 1px;
border-style: none;
height: 1px;
border-style: none;
}
h2, h2.indexdiv {
@ -157,13 +157,13 @@ h2, h2.indexdiv {
@@ -157,13 +157,13 @@ h2, h2.indexdiv {
}
h3
{
{
font-family: helvetica, arial, sans-serif;
font-size: 12pt;
font-weight: bold;
line-height: 1.4em;
font-size: 12pt;
font-weight: bold;
line-height: 1.4em;
color: #3399FF;
}
}
h4
{
@ -184,7 +184,7 @@ h5
@@ -184,7 +184,7 @@ h5
h6 {
font-family: helvetica, arial, sans-serif;
font-size: 12pt;
font-weight: bold;
font-weight: bold;
color: #666666;
}
@ -205,37 +205,37 @@ a:visited
@@ -205,37 +205,37 @@ a:visited
}
div.preface, div.colophon, div.chapter, div.appendix, div.index, div.partintro, div.legalnotice, div.glossary, div.refnamediv, div.refsect1 {
margin : 0px 20px 0px 20px;
font-family: helvetica, arial, sans-serif;
}
margin : 0px 20px 0px 20px;
font-family: helvetica, arial, sans-serif;
}
/* A, B, etc. in Index */
div.indexdiv {
font-family: helvetica, arial, sans-serif;
font-family: helvetica, arial, sans-serif;
}
div.titlepage {
margin : 0px 10px 0px 10px;
font-family: helvetica, arial, sans-serif;
}
margin : 0px 10px 0px 10px;
font-family: helvetica, arial, sans-serif;
}
/* div.sect1 for an article doesn't have the extra padding from a div.chapter */
div.article div.sect1 {
margin : 0px 10px 0px 10px;
font-family: helvetica, arial, sans-serif;
}
margin : 0px 10px 0px 10px;
font-family: helvetica, arial, sans-serif;
}
/* div.sect1 on same page as div.chapter, etc. with margins and padding already */
div.chapter div.sect1, div.preface div.sect1, div.appendix div.sect1, div.colophon div.sect1 {
margin : 0px 0px 0px 0px;
font-family: helvetica, arial, sans-serif;
padding: 0;
margin : 0px 0px 0px 0px;
font-family: helvetica, arial, sans-serif;
padding: 0;
}
/* on separate page without div.chapter, so need same padding */
div.sect1 {
margin : 0px 20px 0px 20px;
font-family: helvetica, arial, sans-serif;
margin : 0px 20px 0px 20px;
font-family: helvetica, arial, sans-serif;
}
/* same as dev.sect1 except no padding because div.sect1 doesn't end before div.sect2, etc.*/
@ -247,12 +247,12 @@ div.sect2, div.sect3, div.sect4 {
@@ -247,12 +247,12 @@ div.sect2, div.sect3, div.sect4 {
/* chapter, preface, and colophon titles don't have a class */
h1 {
margin : 0px 0px 0px 0px;
font-family: helvetica, arial, sans-serif;
font-size: 18pt;
font-weight: bold;
color: #3399FF;
}
margin : 0px 0px 0px 0px;
font-family: helvetica, arial, sans-serif;
font-size: 18pt;
font-weight: bold;
color: #3399FF;
}
h1.sect1, h2.sect1 {
/* already in div.sect1, so no margins */
@ -266,20 +266,20 @@ h1.sect1, h2.sect1 {
@@ -266,20 +266,20 @@ h1.sect1, h2.sect1 {
h2.sect2, h2.title {
/* already in div.sect1, so no margins */
margin : 0px 0px 0px 0px;
font-family: helvetica, arial, sans-serif;
font-size: 16pt;
font-weight: bold;
color: #3399FF;
}
font-family: helvetica, arial, sans-serif;
font-size: 16pt;
font-weight: bold;
color: #3399FF;
}
h3.sect3, h3.title {
/* already in div.sect1, so no margins */
margin : 0px 0px 0px 0px;
font-family: helvetica, arial, sans-serif;
font-size: 14pt;
font-weight: bold;
color: #3399FF;
}
font-family: helvetica, arial, sans-serif;
font-size: 14pt;
font-weight: bold;
color: #3399FF;
}
h4.sect4, h5.sect5, h6.sect6 {
@ -297,24 +297,24 @@ h1.title {
@@ -297,24 +297,24 @@ h1.title {
font-size: 22pt;
font-weight: bold;
color: #3399FF;
margin : 10px 10px 10px 10px;
margin : 10px 10px 10px 10px;
/* add padding so title is not touching top margin */
padding: 10 0 0;
padding: 10 0 0;
}
body.refentry h1 {
margin: 0 0 0 20px;
margin: 0 0 0 20px;
}
div.glossary h1 {
font-family: helvetica, arial, sans-serif;
font-size: 22pt;
font-weight: bold;
color: #3399FF;
margin : 10px 10px 10px 0px;
/* add padding so title is not touching top margin */
padding: 10 0 0;
}
div.glossary h1 {
font-family: helvetica, arial, sans-serif;
font-size: 22pt;
font-weight: bold;
color: #3399FF;
margin : 10px 10px 10px 0px;
/* add padding so title is not touching top margin */
padding: 10 0 0;
}
.subtitle {
@ -322,8 +322,8 @@ div.glossary h1 {
@@ -322,8 +322,8 @@ div.glossary h1 {
font-size: 18pt;
color:#666666;
font-weight: bold;
margin : 10px 10px 10px 10px;
padding: 0;
margin : 10px 10px 10px 10px;
padding: 0;
}
b.othername {
@ -331,8 +331,8 @@ b.othername {
@@ -331,8 +331,8 @@ b.othername {
font-size: 18pt;
color:#666666;
font-weight: bold;
margin : 10px 10px 10px 10px;
padding: 0;
margin : 10px 10px 10px 10px;
padding: 0;
}
.copyright, .affiliation {
@ -354,7 +354,7 @@ isbn.isbn {
@@ -354,7 +354,7 @@ isbn.isbn {
.toc {
font-family: helvetica, arial, sans-serif;
font-size: 12pt;
padding: 0;
padding: 0;
margin : 10px 20px 10px 20px;
}
@ -368,7 +368,7 @@ isbn.isbn {
@@ -368,7 +368,7 @@ isbn.isbn {
div.qandaset big {
font-family: helvetica, arial, sans-serif;
font-size: 12pt;
color: #3399FF;
color: #3399FF;
}
.author {