// For org-mode generated files html{font-family:sans-serif}body{padding:0}div#centrecontent{padding:2em 1em 2em 75px;font-family:sans-serif}li,p{text-align:justify;line-height:130%}div#leftbarcds{padding:0;background:red;position:fixed;width:1em;height:100%}div#leftbarql{padding:0;background:indigo;position:fixed;width:1em;height:100%}div#leftbarexpy{padding:0;background:#0ff;position:fixed;width:1em;height:100%}#logo{text-align:center;color:#000;font-family:Arial,Helvetica,sans-serif;text-decoration:none;font-size:Large;margin:0;padding:0;margin-bottom:.3em}.admonition-title{font-weight:700}.note{border:solid #000 1px;margin:1em 3em;background:#f0f0ff;color:#000;line-height:120%;font-size:90%;padding:5px 10px}div.headsep{font-size:small;text-align:center;margin-bottom:1em;border-top:1px dashed #000;border-bottom:1px solid red}div.blogtools{width:55em;text-align:center;margin-top:1em;border-top:1px dashed #000;border-bottom:1px dashed #000;font-size:small}div.footer{margin-top:1em;border-top:1px solid red;font-size:small}.footer{color:#555;padding-top:1rem;margin-left:1.5rem;border-top:1px solid red;font-size:small}@media (min-width:58em){.container{max-width:56rem}}.container-narrow>hr{margin:2rem 0}a:link img,a:visited img{border-style:none}.highlight{background:#f8f8f8}.highlight .c{color:#408080;font-style:italic}.highlight .err{border:1px solid red}.highlight .k{color:green;font-weight:700}.highlight .o{color:#666}.highlight .cm{color:#408080;font-style:italic}.highlight .cp{color:#bc7a00}.highlight .c1{color:#408080;font-style:italic}.highlight .cs{color:#408080;font-style:italic}.highlight .gd{color:#a00000}.highlight .ge{font-style:italic}.highlight .gr{color:red}.highlight .gh{color:navy;font-weight:700}.highlight .gi{color:#00a000}.highlight .go{color:grey}.highlight .gp{color:navy;font-weight:700}.highlight .gs{font-weight:700}.highlight .gu{color:purple;font-weight:700}.highlight .gt{color:#0040d0}.highlight .kc{color:green;font-weight:700}.highlight .kd{color:green;font-weight:700}.highlight .kp{color:green}.highlight .kr{color:green;font-weight:700}.highlight .kt{color:#b00040}.highlight .m{color:#666}.highlight .s{color:#ba2121}.highlight .na{color:#7d9029}.highlight .nb{color:green}.highlight .nc{color:#00f;font-weight:700}.highlight .no{color:#800}.highlight .nd{color:#a2f}.highlight .ni{color:#999;font-weight:700}.highlight .ne{color:#d2413a;font-weight:700}.highlight .nf{color:#00f}.highlight .nl{color:#a0a000}.highlight .nn{color:#00f;font-weight:700}.highlight .nt{color:green;font-weight:700}.highlight .nv{color:#19177c}.highlight .ow{color:#a2f;font-weight:700}.highlight .w{color:#bbb}.highlight .mf{color:#666}.highlight .mh{color:#666}.highlight .mi{color:#666}.highlight .mo{color:#666}.highlight .sb{color:#ba2121}.highlight .sc{color:#ba2121}.highlight .sd{color:#ba2121;font-style:italic}.highlight .s2{color:#ba2121}.highlight .se{color:#b62;font-weight:700}.highlight .sh{color:#ba2121}.highlight .si{color:#b68;font-weight:700}.highlight .sx{color:green}.highlight .sr{color:#b68}.highlight .s1{color:#ba2121}.highlight .ss{color:#19177c}.highlight .bp{color:green}.highlight .vc{color:#19177c}.highlight .vg{color:#19177c}.highlight .vi{color:#19177c}.highlight .il{color:#666}