@font-face { font-family: "TradeGothicLTStd"; src: url(../fonts/TradeGothicLTStd.otf); font-style: normal; font-weight: normal; } @font-face { font-family: "TradeGothicLTStd"; src: url(../fonts/TradeGothicLTStd-Obl.otf); font-style: italic; font-weight: normal; } @font-face { font-family: "TradeGothicLTStd"; src: url(../fonts/TradeGothicLTStd-Bold.otf); font-style: normal; font-weight: bold; } @font-face { font-family: "TradeGothicLTStd"; src: url(../fonts/TradeGothicLTStd-BoldObl.otf); font-style: italic; font-weight: bold; } @font-face { font-family: "JansonTextLTStd"; src: url(../fonts/JansonTextLTStd-Bold.otf); font-style: normal; font-weight: bold; } @font-face { font-family: "JansonTextLTStd"; src: url(../fonts/JansonTextLTStd-BoldItalic.otf); font-style: italic; font-weight: bold; } @font-face { font-family: "JansonTextLTStd"; src: url(../fonts/JansonTextLTStd-Italic.otf); font-style: italic; font-weight: normal; } @font-face { font-family: "JansonTextLTStd"; src: url(../fonts/JansonTextLTStd-Roman.otf); font-style: normal; font-weight: normal; } @font-face { font-family: "UbuntuMono"; src: url(../fonts/UbuntuMono-Regular.ttf); font-style: normal; font-weight: normal; } @font-face { font-family: "UbuntuMono"; src: url(../fonts/UbuntuMono-Bold.ttf); font-style: normal; font-weight: bold; } @font-face { font-family: "UbuntuMono"; src: url(../fonts/UbuntuMono-Italic.ttf); font-style: italic; font-weight: normal; } @font-face { font-family: "UbuntuMono"; src: url(../fonts/UbuntuMono-BoldItalic.ttf); font-style: italic; font-weight: bold; } @font-face { font-family: "ArialUnicodeMS"; src: url(../fonts/ARIALUNI.ttf); font-style: normal; font-weight: normal; } @page { margin: 1.2em; } a { text-decoration: none; color: #000000; } body { margin-top: 0.2em; margin-bottom: 0.2em; } .cover { margin-top: 0.02em; margin-bottom: 0.02em; text-align: center; } .h2 { font-family: "TradeGothicLTStd"; margin-top: 1em; margin-bottom: 0.1em; text-align: center; } .h3 { font-family: "TradeGothicLTStd"; font-size: 150%; margin-top: 1.2em; margin-bottom: 0.3em; margin-left: 0em; } .h4 { font-family: "TradeGothicLTStd"; font-size: 130%; margin-top: 1em; margin-bottom: 0.2em; margin-left: 0em; } .h5 { font-family: "TradeGothicLTStd"; font-size: 110%; margin-top: 1.3em; margin-bottom: 0.3em; margin-left: 0em; } div.image { margin: 0 auto; margin-top: 1em; margin-bottom: 0.3em; padding: 0; text-align: left; max-width: 99%; max-height: 99%; clear: both; } div.image21 { margin: 0 auto; margin-top: 1em; margin-bottom: 1em; padding: 0; text-align: left; max-width: 99%; max-height: 99%; clear: both; } img { max-width: 99%; max-height: 99%; } .noindent { font-family: "JansonTextLTStd"; margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 0em; text-indent: 0em; text-align: left; text-align: justify; } .noindent-bm { font-family: "JansonTextLTStd"; margin-top: 4em; margin-bottom: 3em; margin-left: 0em; text-indent: 0em; text-align: left; text-align: justify; } table { border-collapse: collapse; } a { text-decoration: none; color: #000000; } .sidebar { margin-top: 1em; margin-bottom: 1em; margin-left: 0em; border: solid black 0.1em; background-color: #E6E7E8; padding: 0.8em; border-radius: 0.5em; } .sidetitle { font-family: "TradeGothicLTStd"; font-size: 120%; margin-top: 0.1em; margin-bottom: 0.5em; text-align: center; } @page { margin: 1.2em; } .noindentt { font-family: "JansonTextLTStd"; margin-top: 1em; margin-bottom: 0.1em; margin-left: 0em; text-align: justify; } .noindentt2 { font-family: "JansonTextLTStd"; margin-top: 0.5em; margin-bottom: 0.1em; margin-left: 0em; text-align: justify; } .noindentb { font-family: "JansonTextLTStd"; margin-top: 0.2em; margin-bottom: 1em; margin-left: 0em; text-align: justify; } .ash { color: #93959C; } .ash1 { color: #93959C; } .bull1 { font-family: "JansonTextLTStd"; margin-top: .8em; margin-bottom: 0.1em; margin-left: 1.7em; text-indent: -0.6em; } .bull { font-family: "JansonTextLTStd"; margin-top: 0.5em; margin-bottom: 0.5em; margin-left: 0.6em; text-indent: -0.6em; } .order { font-family: "JansonTextLTStd"; margin-top: 0.5em; margin-bottom: 0.5em; margin-left: 1.1em; text-indent: -1em; } .pre2 { font-family: "UbuntuMono"; font-size: 0.8em; margin-top: 0.8em; margin-bottom: 0.8em; padding: 0.3em 0.1em 0.3em 0.1em; border-top: solid black 0.1em; border-bottom: solid black 0.1em; margin-left: 1.5em; } .pre { font-family: "UbuntuMono"; font-size: 0.8em; margin-top: 0.8em; margin-bottom: 0.8em; padding: 0.3em 0.1em 0.3em 0.1em; border-top: solid black 0.1em; border-bottom: solid black 0.1em; margin-left: 0em; } .inline { vertical-align: middle; } .bq { font-family: "JansonTextLTStd"; margin-top: 0.7em; margin-bottom: 0.7em; margin-right: 2em; margin-left: 2em; text-indent: 0.01em; } .indexmain1 { font-family: "JansonTextLTStd"; margin-top: 1em; margin-bottom: 0.2em; margin-left: 4.3em; text-indent: -4.3em; } .indexmain { font-family: "JansonTextLTStd"; margin-top: 0.2em; margin-bottom: 0.2em; margin-left: 4.3em; text-indent: -4.3em; } .indexsub { font-family: "JansonTextLTStd"; margin-top: 0.2em; margin-bottom: 0.2em; margin-left: 4.3em; text-indent: -2.8em; } .h1 { font-family: "TradeGothicLTStd"; font-size: 200%; margin-top: 1em; margin-bottom: 0.1em; text-align: center; } .halftitle { font-family: "TradeGothicLTStd"; font-size: 150%; margin-top: 3.5em; margin-bottom: 3.5em; text-align: right; } .subtitle { font-family: "TradeGothicLTStd"; font-size: 130%; margin-top: 0.1em; margin-bottom: 0.5em; text-align: center; } .pub { margin-top: 5em; margin-bottom: 0.5em; text-align: center; } .pub1 { margin-top: 0.1em; margin-bottom: 0.5em; text-align: center; } .copy { font-family: "JansonTextLTStd"; font-size: 90%; margin-top: 0.6em; margin-bottom: 0.7em; margin-left: 0em; text-align: justify; } .copya { font-family: "JansonTextLTStd"; font-size: 90%; margin-top: 1.5em; margin-bottom: 0.8em; margin-left: 0em; text-align: justify; } .copyi { font-family: "JansonTextLTStd"; font-size: 90%; margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 1.5em; text-indent: -1.5em; text-align: justify; } .h2f { font-family: "TradeGothicLTStd"; font-size: 200%; margin-top: 2em; margin-bottom: 1em; text-align: left; } .tocchap { font-family: "JansonTextLTStd"; margin-top: 0.5em; margin-bottom: 0.5em; margin-left: 0em; text-align: left; } .tocchap1 { font-family: "JansonTextLTStd"; margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 0.01em; text-align: left; } .tocchapa { font-family: "JansonTextLTStd"; margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 3.5em; text-align: left; } .toc-part { font-family: "JansonTextLTStd"; margin-top: 1.5em; margin-bottom: 0.1em; margin-left: 0em; text-align: left; } .h2a { font-family: "TradeGothicLTStd"; font-size: 180%; margin-top: 0.3em; margin-bottom: 0.1em; text-align: center; } .author { font-family: "TradeGothicLTStd"; font-size: 110%; margin-top: 4em; margin-bottom: 0.5em; text-align: center; } .indexsubsub { font-family: "JansonTextLTStd"; margin-top: 0.2em; margin-bottom: 0.2em; margin-left: 5.8em; text-indent: -2.8em; } .noindenttb { font-family: "JansonTextLTStd"; margin-top: 1em; margin-bottom: 1em; margin-left: 0em; text-align: justify; } .h2aa { font-family: "TradeGothicLTStd"; font-size: 180%; margin-top: 0.3em; margin-bottom: 0.5em; text-align: left; } .sidebarrc { margin-top: 2.5em; margin-bottom: 1em; margin-left: 0em; text-indent: 0em; text-align: left; padding: 1em; border: solid 0.1em; background-color: #DCDDDE; } .notetitlea { margin-top: 1em; margin-bottom: 1em; padding: 1em; text-indent: 0em; text-align: left; border: solid black 0.1em; } .indent { font-family: "JansonTextLTStd"; margin-top: 0.2em; margin-bottom: 0.2em; text-indent: 1.1em; text-align: justify; } .indentb { font-family: "JansonTextLTStd"; margin-top: 0.2em; margin-bottom: 1em; text-indent: 1.1em; text-align: justify; } .indentt { font-family: "JansonTextLTStd"; margin-top: 1em; margin-bottom: 0.1em; text-indent: 1.1em; text-align: justify; } .fig-cap { font-family: "JansonTextLTStd"; page-break-before: avoid; font-size: 90%; margin-top: 0.3em; margin-bottom: 1em; margin-left: 0em; text-align: left; } code { font-family: "UbuntuMono"; font-size: 0.8em; } .ded { margin-top: 3em; margin-bottom: 2em; text-align: center; } .h2fm { font-family: "TradeGothicLTStd"; font-size: 180%; margin-top: 0.3em; margin-bottom: 1em; text-align: center; } .tocchapq { font-family: "JansonTextLTStd"; margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 0em; text-align: left; } .imagef { margin: 0 auto; margin-top: 1em; margin-bottom: 0.5em; padding: 0; text-align: left; max-width: 99%; max-height: 99%; clear: both; } .sidebar-title { margin-top: 0.2em; margin-bottom: 0.4em; margin-left: 0em; text-indent: 0em; text-align: center; padding: 1em; } .note { margin-top: 1.2em; margin-bottom: 1.2em; border: solid black 0.1em; margin-right: 1em; padding: 0.3em 0.5em 0.5em 0.1em; } .notet { font-family: "JansonTextLTStd"; font-size: 90%; margin-top: 0em; margin-bottom: 0.5em; } .noteg { background-color: #000000; color: #FFFFFF; padding: 0.3em; } .codestrong { font-family: "UbuntuMono"; font-weight: bold; } .codeitalic { font-family: "UbuntuMono"; font-style: italic; } .ent { font-family: "ArialUnicodeMS"; src: url(../fonts/ARIALUNI.ttf); } .box2 { text-align: right; margin-top: 1em; margin-bottom: 1em; border: solid black 0.1em; background-color: #E6E7E8; padding: 0.3em; border-radius: 0.5em; } .code-title { font-family: "JansonTextLTStd"; margin-top: 0.8em; margin-bottom: 0.8em; margin-left: 0em; text-indent: 0em; text-align: left; } .gray { color: #939598; } .h2am { font-family: "TradeGothicLTStd"; font-size: 180%; margin-top: 0.3em; margin-bottom: 1em; text-align: center; } .indent1 { font-family: "JansonTextLTStd"; margin-top: 0.3em; margin-bottom: 0.3em; margin-left: 1em; text-indent: 0em; } .h2c { font-family: "TradeGothicLTStd"; font-size: 130%; margin-top: 2em; margin-bottom: 1em; text-align: center; } .h3c { font-family: "TradeGothicLTStd"; font-size: 110%; margin-top: 0.8em; margin-bottom: 0.8em; text-align: center; } .noindenta { font-family: "JansonTextLTStd"; margin-top: 0.2em; margin-bottom: 0.2em; margin-left: 0em; text-indent: 0em; text-align: justify; } .boxb { margin-top: 1em; margin-bottom: 1em; margin-left: 0em; border: solid black 0.1em; background-color: #000000; color: #FFFFFF; padding: 0.5em; } .noindentc { font-family: "JansonTextLTStd"; margin-top: 0.2em; margin-bottom: 0.2em; text-align: center; } .noindentz { font-family: "JansonTextLTStd"; font-size: 90%; margin-top: 0.2em; margin-bottom: 0.2em; margin-left: 0em; text-indent: 0em; text-align: justify; } .notep { font-family: "JansonTextLTStd"; margin-top: 0.8em; margin-bottom: 0.2em; margin-left: 0.5em; text-indent: 0em; text-align: justify; } .big { font-size: 200%; } .literal { font-family: "UbuntuMono"; font-size: 0.8em; } span.codestrong { font-family: "UbuntuMono"; font-weight: bold; } span.codeitalic { font-family: "UbuntuMono"; font-style: italic; }