123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323 |
- html {
- margin : 0;
- padding : 0;
- background : white;
- }
- body {
- font-family : "Lucida Grande", Verdana, "Bitstream Vera Sans", sans-serif;
- font-weight : normal;
- font-size : 13px;
- line-height : 19px;
- color : black;
- margin : 0 2em 0 2em;
- padding : 0;
- }
- body {
- min-width: 40em;
- }
- #container {
- max-width : 46em;
- margin : 0 auto;
- padding : 0 1em 0 1em;
- }
- /*
- * Footer
- *
- */
- #footer {
- color : #3a84a7;
- padding : 1em 0 0.5em 0;
- font-size : 10px;
- line-height : 15px;
- text-align: center;
- }
- #footer a:link, #footer a:visited {
- color:#1d6699;
- text-decoration: underline;
- }
- #footer a {
- margin-left: 0.7em;
- margin-right: 0.7em;
- }
- #footer p {
- padding: 0;
- margin: 0.3em 0 0 0;
- }
- /* Distribution terms. */
- #footer #terms {
- text-align: justify;
- font-size : 110%;
- font-family : monospace;
- padding : 1em 0 0.5em 0;
- }
- /*
- * Content
- *
- */
- #content {
- padding : 0em 0.1em 0 1.3em;
- margin : 1.4em 0 0 0;
- }
- #content p,
- #content ol,
- #content ul,
- #content dl {
- text-align: justify;
- }
- #content h1 {
- margin-left: -0.89em;
- }
- a:link {
- color:#0536d2;
- }
- /*
- * Headings
- *
- */
- h1, h2, h3, h4, h5, h6 {
- font-weight : 500;
- }
- h1 { font-size : 155%; }
- h2 { font-size : 130%; }
- h3 { font-size : 125%; }
- h4 { font-size : 110%; }
- h5 { font-size : 106%; }
- h6 { font-size : 100%; }
- h1 { margin : 1.8em 0 0.8em 0;}
- h2 { margin-top : 1.4em;}
- h3 { margin-top : 1em;}
- p.indent {
- margin-left : 1.5em;
- }
- /*
- * Fix for IE 5.5 table font problem
- *
- */
- table {
- font-size : 13px;
- }
- /*
- * table of content
- *
- */
- ul.toc li {
- padding : .4em 0em 0em 0em;
- }
- /* Toc links don't need to show when they are visited. */
- .toc a:visited {
- color:#0536d2;
- }
- /*
- * lists
- *
- */
- /* list of links */
- ul.menu {
- list-style-type : none;
- }
- ul.menu li {
- padding-top : 0.3em;
- padding-bottom : 0.3em;
- }
- /* @@ I should probably use child selector here */
- /* list with multiline list-elements */
- ul.multiline li, ol.multiline li, dl.multiline dd {
- padding-top : 0.16em;
- padding-bottom : 0.16em;
- font-size : 11px;
- line-height : 15px;
- }
- /* C++ code snippet */
- pre.cxx {
- margin-top : 0em;
- margin-bottom : 2em;
- margin-left : 1em;
- }
- /* SQL code snippet */
- pre.sql {
- margin-top : 0em;
- margin-bottom : 2em;
- margin-left : 1em;
- }
- /* make code snippet */
- pre.make {
- margin-top : 0em;
- margin-bottom : 2em;
- margin-left : 1em;
- }
- /* terminal output */
- pre.term {
- margin-top : 0em;
- margin-bottom : 2em;
- margin-left : 1em;
- }
- /* Images */
- div.center {
- text-align: center;
- }
- /* Document info. */
- #docinfo {
- margin-top: 4em;
- border-top: 1px dashed #000000;
- font-size: 70%;
- }
- /* Footnote */
- #footnote {
- margin-top : 2.5em;
- }
- #footnote hr, hr.footnote {
- margin-left: 0;
- margin-bottom: 0.6em;
- width: 8em;
- border-top: 1px solid #000000;
- border-right: none;
- border-bottom: none;
- border-left: none;
- }
- #footnote ol {
- margin-left: 0;
- padding-left: 1.45em;
- }
- #footnote li {
- text-align : left;
- font-size : 11px;
- line-height : 15px;
- padding : .4em 0 .4em 0;
- }
- /* Normal table with borders, etc. */
- table.std {
- margin: 2em 0 2em 0;
- border-collapse : collapse;
- border : 1px solid;
- border-color : #000000;
- font-size : 11px;
- line-height : 14px;
- }
- table.std th, table.std td {
- border : 1px solid;
- padding : 0.6em 0.8em 0.6em 0.8em;
- }
- table.std th {
- background : #cde8f6;
- }
- table.std td {
- text-align: left;
- }
- /*
- * "item | description" table.
- *
- */
- table.description {
- border-style : none;
- border-collapse : separate;
- border-spacing : 0;
- font-size : 13px;
- margin : 0.6em 0 0.6em 0;
- padding : 0 0 0 0;
- }
- table.description tr {
- padding : 0 0 0 0;
- margin : 0 0 0 0;
- }
- table.description * td, table.description * th {
- border-style : none;
- margin : 0 0 0 0;
- vertical-align : top;
- }
- table.description * th {
- font-weight : normal;
- padding : 0.4em 1em 0.4em 0;
- text-align : left;
- white-space : nowrap;
- background : none;
- }
- table.description * td {
- padding : 0.4em 0 0.4em 1em;
- text-align : justify;
- }
|