/*** japanese *** @font-face { font-family: Mincho; font-weight: normal; font-style: normal; src: url(../fonts/mplus-1c-regular.ttf); } @font-face { font-family: Mincho; font-weight: normal; font-style: italic; src: url(../fonts/mplus-1c-regular.ttf); } @font-face { font-family: Mincho; font-weight: bold; font-style: normal; src: url(../fonts/mplus-1c-regular.ttf); } @font-face { font-family: Mincho; font-weight: bold; font-style: italic; src: url(../fonts/mplus-1c-regular.ttf); } *** japanese ***/ /*** unicode *** @font-face { font-family: Quivira; font-weight: normal; font-style: italic; src: url(../fonts/Quivira.ttf); } @font-face { font-family: Quivira; font-weight: bold; font-style: normal; src: url(../fonts/Quivira.ttf); } @font-face { font-family: Quivira; font-weight: bold; font-style: italic; src: url(../fonts/Quivira.ttf); } @font-face { font-family: Quivira; font-weight: normal; font-style: normal; src: url(../fonts/Quivira.ttf); } *** unicode ***/ @font-face { font-family: UbuntuMono; font-weight: normal; font-style: normal; src: url(XXXXXXXXXXXXXXXX); } @font-face { font-family: UbuntuMono; font-weight: bold; font-style: normal; src: url(XXXXXXXXXXXXXXXX); } @font-face { font-family: UbuntuMono; font-weight: normal; font-style: italic; src: url(XXXXXXXXXXXXXXXX); } @font-face { font-family: UbuntuMono; font-weight: bold; font-style: italic; src: url(XXXXXXXXXXXXXXXX); } @font-face { font-family: Ubuntu; font-weight: normal; font-style: normal; src: url(XXXXXXXXXXXXXXXX); } @font-face { font-family: Ubuntu; font-weight: bold; font-style: normal; src: url(XXXXXXXXXXXXXXXX); } @font-face { font-family: Ubuntu; font-weight: normal; font-style: italic; src: url(XXXXXXXXXXXXXXXX); } @font-face { font-family: Ubuntu; font-weight: bold; font-style: italic; src: url(XXXXXXXXXXXXXXXX); } /* @font-face { */ /* font-family: "DroidSerif",serif; */ /* font-weight: normal; */ /* font-style: normal; */ /* src: url(../fonts/DroidSerif.woff); */ /* } */ /* @font-face { */ /* font-family: "DroidSerif",serif; */ /* font-weight: bold; */ /* font-style: normal; */ /* src: url(../fonts/DroidSerif-Bold.woff); */ /* } */ /* @font-face { */ /* font-family: "DroidSerif",serif; */ /* font-weight: normal; */ /* font-style: italic; */ /* src: url(../fonts/DroidSerif-Italic.woff); */ /* } */ /* @font-face { */ /* font-family: "DroidSerif",serif; */ /* font-weight: bold; */ /* font-style: italic; */ /* src: url(../fonts/DroidSerif-BoldItalic.woff); */ /* } */ /* "Trebuchet MS", Verdana, Arial, sans-serif*/ body { margin: 0pt 1em; padding: 0pt; } tt, code, kbd, samp { font-size: 80%; } h1.part-title { text-align: center; } h1.part-title .part-number{ font-size: 80%; } .partintro { border-top: 3px solid #aaaadd; border-bottom: 3px solid #aaaadd; padding-top: 3px; padding-bottom: 3px; margin-top: 2em; margin-left: 10%; margin-right: 10%; font-style: italic; } h1.chapter-title { margin-top: 2em; text-align: right; } h1.chapter-title .chapter-number { font-weight: normal; display: block; font-size: 90%; } h1.chapter-title .chapter-name { display: block; font-size: 120%; font-weight: bold; } h1.chapter-title:after { display: block; font-size: 0.19rem; background: url(../Images/image00113.gif) repeat-x bottom; overflow: none; content: "\00a0"; clear: both; } h2 { font-size: 140%; font-weight: bold; text-align: left !important; margin-top: 1em; margin-bottom: 1ex !important; } h3 { font-size: 110%; font-weight: bold; clear: both; margin-top: 1em; margin-bottom: 1ex; } h4 { font-size: 100%; font-weight: bold; clear: both; margin-top: 0.8em; margin-bottom: 0.8ex; } p { line-height: 130%; margin-top: 0pt; } .contribution { font-size: smaller; color: #888; padding-left: 10%; padding-right: 10%; } .acronym { font-weight: bold; font-variant: small-caps; } .author { margin-top: 1em; margin-bottom: 1em; text-align: right } .authorname { } .authoraffiliation { font-style: italic; } .authors { margin-top: 3em; font-size: 1.5rem; color: #666666; } /* authorq is the author asking the beta-book reader */ div.authorq { margin: 1em 0; padding: 1em; background: #dddddd; font-size: smaller; } div.authorq .the-author-asks { font-weight: bold; display: inline; } .b { font-weight: bold; } .bad-xref { color: red; } dl.bibliography { margin-left: 0pt; } dl.bibliography dt { float: left; clear: left; width: 4.75em; text-align: left; font-size: 90%; font-weight: bold; } dl.bibliography dd { margin-bottom: 8px; margin-left: 5em; padding: 0 0 0 0; } dl.bibliography dd em { color: #223388; font-weight: bold; } .strike { text-decoration: line-through; } .unused-bookinfo { margin-top: 2em; margin-bottom: 4em; padding: 3em; border-width: 8px; border-style: dotted; border-color: #dddddd; } .titlepage { margin-left: 10%; margin-right: 10%; text-align: center; } .tp-title { display: block; margin-top: 50px; padding-top: 10px; padding-bottom: 10px; border-width: 3px; border-style: solid none; border-color: #888888; } .tp-subtitle { display: block; margin-top: 10px; color: #777777; } .tp-authors { display: block; color: #777; margin-top: 20px; } .tp-copyright { margin-left: 10%; margin-right: 10%; font-size: 0.75rem; color: #463; } .tp-extracted-from { font-size: 70%; color: #9999bb; } span.production { display: inline-block; margin-right: 1em; } span.production:after { content: ','; } span.production:last-child:after { content: ''; } div.tp-extract-explanation { margin-top: 72pt; } div.tp-extract-explanation p { font-size: 70%; margin-left: 20%; margin-right: 20%; } .copyright-body { font-size: 70%; } .tp-docinfo { margin-top: 30px; font-size: 0.88rem; color: #777; } .booksectname { font-style: italic; } /* these are inline code. We make them all include the cf class font-weight: bold; */ .cf { color: #229; font-size: 90%; } .ic { hyphens: manual; } .jp { } .classname, .commandname, .commandoption, .constant, .dirname, .fileextension, .filename, .inlinecode, .keystroke, .keyword, .methodname, .parametername, .sqlcolumn, .sqltable, .string, .variablename, .xmlattrval { hyphens: manual; } .stringinfile { font-style: italic; } /* ** end of cf stuff */ .emph { font-style: italic; } .wecover > p, .wecover ul { margin: 0; } .epigraph { float: left; width: 40%; padding: 0.5em; border-style: solid; text-align: left; border-width: 1px; border-color: #cee; color: #477; background: #f0f8f8; font-size: 0.88rem; font-style: italic; margin: 1em 2em 2em 0em; border-radius: 1em; -webkit-border-radius: 1em; -moz-border-radius: 1em; } .episign { padding: 2px; border-style: solid; text-align: right; border-width: 2px 0px 0px 0px; border-color: #dddddd; font-size: 0.88rem; } .episignname { } .episigntitle { font-style: italic; } .episigndate { } .figure { padding: 7px; border-style: dotted; text-align: center; border-width: 3px; border-color: #dddddd; margin-top: 1em; margin-bottom: 1em; } .figurecaption { font-weight: bold; text-align: center } .figuresubcaption { font-size: 75%; color: #888; } .firstuseinline { font-style:italic; } .firstusemargin { position: relative; top:auto; left: 1em; font-style:italic; font-size: 0.75rem; float: left; width: 1in; text-align: right; } .flag { color: red; } .flagadvanced { float: left; margin-right: 1em; } .footnote { font-size: smaller } .footnotes { margin-top: 2em; border-width: 2px 0 0 0; border-style: solid none none none; border-color: #add; font-size: smaller; } .footnotes dt.footnote-number { white-space: nowrap; width: 1.5em; float: left; font-size: 90%; } .footnotes dd { margin: 0 0 0 2em; } div.highlight { border-top: 3px solid #acc; border-bottom: 3px solid #acc; width: 20%; float: left; margin-right: 2em; } div.highlight p { margin-bottom: 0.2em; } .initials { font-weight: bold; font-variant: small-caps; } .example { border: 2px solid #88d; background: #ccf; padding-left: 1em; padding-right: 1em; margin-left: 0pt; margin-right: 0pt; margin-bottom: 1em; border-radius: 15px; -moz-border-radius: 15px; } .keyboard { } .keystroke { font-size: 80%; padding: 0.2em 0.3em 0.3em 0.3em; background: #cee; border: 1px solid #7dd; color: #448; -moz-border-radius: 3px; -webkit-border-radius: 3px; border-radius: 3px; } img.inline { position: relative; top: 0.4em; height: 1.2em; } .marginnote { position: relative; top:auto; left: 1em; font-weight: bold; font-size: 0.75rem; float: left; width: 1in; text-align: right; line-height: 100%; } .nohyphen { -webkit-hyphens:none; } .missing { position: relative; top:auto; left: 1em; font-weight: bold; font-size: 0.75rem; float: left; width: 1in; text-align: right; line-height: 100%; } .prefacesignoff a { font-weight: bold; } .prefacesignoffemail { font-size: 0.88rem; } .prefacesignoffdate { font-size: 0.88rem; } span.shade-fg-white { color: white; } span.shade-fg-black { } span.shade-fg-red { color: red; } span.shade-fg-green { color: green; } span.shade-fg-yellow { color: yellow; } span.shade-fg-blue { color: blue; } span.shade-fg-magenta { color: magenta; } span.shade-fg-cyan { color: cyan; } span.shade-fg-light { color: rgb(220,220,180); } span.shade-fg-dark { color: rgb(50,50,100); } span.shade-bg-white { } span.shade-bg-black { background-color: black; } span.shade-bg-red { background-color: red; } span.shade-bg-green { background-color: green; } span.shade-bg-yellow { background-color: yellow; } span.shade-bg-blue { background-color: blue; } span.shade-bg-magenta { background-color: magenta; } span.shade-bg-cyan { background-color: cyan; } span.shade-bg-light { background-color: rgb(220,220,180); } span.shade-bg-dark { background-color: rgb(50,50,100); } story { padding: 0 2em; border-left: 4px solid #add; font-size: 90%; } table.processedcode { margin: 0.7em 0px; width: 100%; table-layout: fixed; } table.shaded { background-color: rgb(220,220,180); } .processedcode tr { margin-top: 0px; margin-bottom: 0px; border: 0px none; } .processedcode tr td { padding-top: 0px; padding-bottom: 0px; } .codeline, .codeinfo { line-height:1.2; vertical-align: top; white-space: pre-wrap; } .codeinfo { color: #99c; font-weight: bold; font-size: 80%; width: 1.5em; padding-right: 0.5em; text-align: right; } .codeline { font-size: 90%; width: 100%; } .codeline code { } .codeline pre { margin-top: 0px; margin-bottom: 0px; font-weight: bold; } .codecalloutnumber { font-size: 90%; } .livecodelozenge { width: 100%; background: #add; border-bottom: 1px solid #8bb; font-size: 90%; padding: 0.3em 0.2em 0.3em 0.6em; } .livecodelozenge a { text-decoration: none; color: #588; } .livecodelozenge a:hover { color: #366; } span.callout-number { font-size: 90%; color: green; } /* dl { } dl dt.force-newline { clear: left; width: 100%; display: block; } dl dt { float: left; clear: left; width: 3em; display: block; } dl dd { margin-left: 3.5em; padding-left: 5px; margin-bottom: 5px; } */ dl.calloutlist { margin-left: 0pt; } dl.calloutlist dt { float: left; clear: left; width: 1em; text-align: left; font-size: 80%; } dl.calloutlist dd { margin: 0 0 0 1.5em; padding: 0 0 0 0; } .simpletable { margin-top: 1em; margin-bottom: 2em; border-collapse: collapse; } table.outerlines, table.hlines { padding: 2px; border: 2px solid #aaaadd; } th.outerlines, th.hlines { border-bottom: 2px solid #aaaadd; background: #ddddff; } .simpletable td, .simpletable th { text-align: left; vertical-align: top; padding-left: 0.5em; padding-right: 0.5em; } .simpletable p.last-para-in-cell { margin-bottom: 0pt; } .simpletable tr.zebra { background: #ddffdd; } .simpletable tr.line-on-top td { border-top: 1px solid #aaaadd; } .standin { font-style: italic; font-weight: bold; } table.arr-recipe { border: 6px solid #6aa; width: 100%; padding: 0px; } table.arr-recipe td.arr-recipe-number { font-size: smaller; font-weight: bold; text-align: center; width: 15%; background: #6aa; padding: 0; margin: 0; color: white; } table.arr-recipe .arr-recipe-name { font-size: larger; padding-top: 1ex; padding-left: 1em; padding-bottom: 1ex; } .tabletitle { font-weight: bold; padding: 2px; border-width: 0px 0 2px 0; border-style: none none solid none; border-color: #888888; } table.pg-what-to-do { width: 100%; } table.pg-task { font-size: 140%; font-weight: bold; text-align: left !important; margin-top: 1em; margin-bottom: 1ex !important; } td.pg-task-number { background: #227; color: #cce; font-size: 180%; font-weight: bold; padding: 0em 0.5em; border-radius: 4px; -webkit-border-radius: 8px; } td.pg-task-name { color: #227; padding: 0em 0.5em; border: 3px solid #cce; font-size: 120%; font-weight: bold; border-radius: 4px; -webkit-border-radius: 8px; width: 100%; } td.pg-what-to-do { font-size: 110%; font-weight: bold; padding: 2px; text-align: center; border-style: dotted; border-width: 3px; border-color: #008000; margin-top: 1em; margin-bottom: 1em;} .xmltag { /*font-weight: bold; */ } .comment { font-style: italic; } .kw { color: #469; font-weight: bold; } .coprompt { color: rgb(144, 17, 125); font-weight: bold; } .string { font-style: italic; } .sidebar { margin-top: 2em; margin-bottom: 2em; padding: 1em; font-size: 90%; border: 3px solid #aaa; } .sidebar .sidebar-title { text-align: center; font-weight: bold; border-bottom: 1px solid #aaa } .underline { text-decoration: underline; } div.webresources .title { font-weight: bold; margin-bottom: 0pt; } div.webresources .url { font-weight: bold; margin-top: 0pt; margin-bottom: 0pt; } div.webresources .desc { margin-top: 0px; margin-left: 2em; } div.webresources .desc p { margin-top: 0px; } .xref-title { font-style: italic; } div.xxxsays { font-size: 0.88rem; margin: 1em 0; padding: 1em; border: 2px #aaaaaa solid; } div.xxxsays .heading { padding-bottom: 0.5em; margin-bottom: 1em; border-bottom: 2px #aaaaaa solid; } div.xxxsays .heading .persons-picture { float: left; margin-right: 2em } div.xxxsays .heading .label { font-weight: bold; color: #999999; margin-bottom: 0.2em; } div.xxxsays .heading .title { font-weight: bold; font-size: larger; } .copyright { font-size: 0.75rem; background: #aabbbb; margin-top: 3em; padding-top: 3px; padding-bottom: 3px; text-align: center; border-top: 1px #335555 solid; } div.backmatter-cover { float: left; padding-right: 20px; padding-bottom: 20px; } hr.backmatter-end { clear: both; } ul.praise { list-style: none; } .praisename { font-weight: bold; } .dedication-text { margin-top: 3em; font-style: italic; text-align: center; } .dedication-name { margin-top: 0.5em; text-align: right; } .banner { page-break-after: always; break-after: always; text-align: center; margin-top: 20%; font-style: italic; } .banner title { border-top: 1px solid #aaa; border-bottom: 1px solid #aaa; } .table-of-contents h1 { width: 100%; margin: 1em 0; padding: 0.5em 0em; text-align: center; font-weight: bold; font-size: 170%; color: #888; border-top: 4px solid #777; border-bottom: 2px solid #555; } .table-of-contents ol { list-style: none; padding: 0; margin: 0; } .table-of-contents li.toc-part > a { display: inline-block; width: 100%; margin-top: 1em; padding: 0.5em 0em; text-align: center; font-weight: bold; font-size: 150%; border-top: 2px solid #888; border-bottom: 2px solid #888; } .table-of-contents li.toc-chap { } .table-of-contents li.toc-chap > a { display: inline-block; font-weight: bold; font-size: 120%; margin-top: 1em; } .table-of-contents li.toc-sect { margin-left: 4em; } .table-of-contents li.toc-sect > a { display: inline-block; margin-top: 0.4em; } .table-of-contents a > .toc-secnum { display: inline-block; width: 2em; text-decoration: none; }