/* 書籍の Sphinx ビルドが使っている pygments.css を、レッスン本文の中だけに
   効くよう限定して取り込んだもの。元のファイルは7冊すべてで同一（4,908バイト）。

   元は pre { ... } のように全体へ効くセレクタを含むため、そのまま読み込むと
   演習ページなど本文以外の見た目まで変えてしまう。すべてのセレクタに
   .lesson-body を前置きしてある。Pygments のトークン名のコメントは省いた。

   手で直さないこと。更新するときは元のファイルから作り直す:
     <本のビルド>/_static/pygments.css
*/

.lesson-body pre {line-height: 125%; }
.lesson-body td.linenos .normal {color: #666666; background-color: transparent; padding-left: 5px; padding-right: 5px; }
.lesson-body span.linenos {color: #666666; background-color: transparent; padding-left: 5px; padding-right: 5px; }
.lesson-body td.linenos .special {color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.lesson-body span.linenos.special {color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.lesson-body .highlight .hll {background-color: #ffffcc }
.lesson-body .highlight {background: #f0f0f0; }
.lesson-body .highlight .c {color: #60A0B0; font-style: italic }
.lesson-body .highlight .err {border: 1px solid #F00 }
.lesson-body .highlight .k {color: #007020; font-weight: bold }
.lesson-body .highlight .o {color: #666 }
.lesson-body .highlight .ch {color: #60A0B0; font-style: italic }
.lesson-body .highlight .cm {color: #60A0B0; font-style: italic }
.lesson-body .highlight .cp {color: #007020 }
.lesson-body .highlight .cpf {color: #60A0B0; font-style: italic }
.lesson-body .highlight .c1 {color: #60A0B0; font-style: italic }
.lesson-body .highlight .cs {color: #60A0B0; background-color: #FFF0F0 }
.lesson-body .highlight .gd {color: #A00000 }
.lesson-body .highlight .ge {font-style: italic }
.lesson-body .highlight .ges {font-weight: bold; font-style: italic }
.lesson-body .highlight .gr {color: #F00 }
.lesson-body .highlight .gh {color: #000080; font-weight: bold }
.lesson-body .highlight .gi {color: #00A000 }
.lesson-body .highlight .go {color: #888 }
.lesson-body .highlight .gp {color: #C65D09; font-weight: bold }
.lesson-body .highlight .gs {font-weight: bold }
.lesson-body .highlight .gu {color: #800080; font-weight: bold }
.lesson-body .highlight .gt {color: #04D }
.lesson-body .highlight .kc {color: #007020; font-weight: bold }
.lesson-body .highlight .kd {color: #007020; font-weight: bold }
.lesson-body .highlight .kn {color: #007020; font-weight: bold }
.lesson-body .highlight .kp {color: #007020 }
.lesson-body .highlight .kr {color: #007020; font-weight: bold }
.lesson-body .highlight .kt {color: #902000 }
.lesson-body .highlight .m {color: #40A070 }
.lesson-body .highlight .s {color: #4070A0 }
.lesson-body .highlight .na {color: #4070A0 }
.lesson-body .highlight .nb {color: #007020 }
.lesson-body .highlight .nc {color: #0E84B5; font-weight: bold }
.lesson-body .highlight .no {color: #60ADD5 }
.lesson-body .highlight .nd {color: #555; font-weight: bold }
.lesson-body .highlight .ni {color: #D55537; font-weight: bold }
.lesson-body .highlight .ne {color: #007020 }
.lesson-body .highlight .nf {color: #06287E }
.lesson-body .highlight .nl {color: #002070; font-weight: bold }
.lesson-body .highlight .nn {color: #0E84B5; font-weight: bold }
.lesson-body .highlight .nt {color: #062873; font-weight: bold }
.lesson-body .highlight .nv {color: #BB60D5 }
.lesson-body .highlight .ow {color: #007020; font-weight: bold }
.lesson-body .highlight .w {color: #BBB }
.lesson-body .highlight .mb {color: #40A070 }
.lesson-body .highlight .mf {color: #40A070 }
.lesson-body .highlight .mh {color: #40A070 }
.lesson-body .highlight .mi {color: #40A070 }
.lesson-body .highlight .mo {color: #40A070 }
.lesson-body .highlight .sa {color: #4070A0 }
.lesson-body .highlight .sb {color: #4070A0 }
.lesson-body .highlight .sc {color: #4070A0 }
.lesson-body .highlight .dl {color: #4070A0 }
.lesson-body .highlight .sd {color: #4070A0; font-style: italic }
.lesson-body .highlight .s2 {color: #4070A0 }
.lesson-body .highlight .se {color: #4070A0; font-weight: bold }
.lesson-body .highlight .sh {color: #4070A0 }
.lesson-body .highlight .si {color: #70A0D0; font-style: italic }
.lesson-body .highlight .sx {color: #C65D09 }
.lesson-body .highlight .sr {color: #235388 }
.lesson-body .highlight .s1 {color: #4070A0 }
.lesson-body .highlight .ss {color: #517918 }
.lesson-body .highlight .bp {color: #007020 }
.lesson-body .highlight .fm {color: #06287E }
.lesson-body .highlight .vc {color: #BB60D5 }
.lesson-body .highlight .vg {color: #BB60D5 }
.lesson-body .highlight .vi {color: #BB60D5 }
.lesson-body .highlight .vm {color: #BB60D5 }
.lesson-body .highlight .il {color: #40A070 }