body { color: darkred;
       background-color: #6F391F;
       /* margin: 0px; */
       /* padding: 0px; */
       text-align: center;
       padding-top: 1em;
       padding-bottom: 1em;
       font-family: "Noto Serif", "Georgia", "メイリオ", "Hiragino Kaku Gothic ProN", "TakaoGothic", san-serif;}

div.main { width: 800px;
           text-align:left;
           line-height: 150%;
           padding-left: 2em;
           padding-right: 2em;
           padding-bottom: 1em;
           margin: auto;
           background-color: #ffedcc;}

p { text-indent: 1em;
    padding-top: 0px;
    padding-bottom: 0px;
    margin: 6px;}

p.noindent { text-indent: 0em;
             padding-top: 6px;
             padding-bottom: 0px;
             margin-top: 14px;}

p.note { text-indent: 0px;
         padding-top: 0px;
         padding-bottom: 0px;
         margin-top: 2px;}

h1 { color: sienna;
     text-align: center;
     font-size: xx-large;
     border-bottom: 4px solid #ff9900;
     border-top: 4px solid #ff9900;
     padding-top: 10px;
     padding-bottom: 10px;
     margin-top: 10px;
     margin-bottom: 10px; }

h2 { color: sienna;
     font-size: large;
     font-weight: bold;
     margin-top: 2em;
     margin-bottom: 14px }
.dotted { border-bottom: 4px dotted #ff9900;
          padding-left: 4px;
          padding-right: 4px; }

div.info { font-size:medium;
           text-align:left;
           padding-bottom: 4em;}

div.date { text-align: right;
           padding-top: 0px;}

div.catch { margin-top: 2em;
            padding: 1em;
            border: 4px dotted #ff9900;}

img.left { float: left;
           margin-right: 10px;}
img.right { float: right;
            margin-left: 10px;}

img.thumbnail { float: left;
                margin-right: 4em;
                margin-left: 0px;
                margin-bottom: 10px;
                background-color: white;}

img.thumbnail_c { float: center;
                  margin-right: 4em;
                  margin-left: 0px;
                  margin-bottom: 10px;
                  /* background-color: white; */}

div.center { text-align: center;
             margin-top: 4px;
             margin-bottom: 4px; }

span.notation { color: chocolate;
                font-weight: bold;
                font-family: "consolas", "Courier", monospace;}
span.torikeshi { text-decoration: line-through;}

span.bold { font-weight: bold; }

ul { list-style-type: decimal;
     padding-top: 1em;
     padding-bottom: 1em;
     margin-top: 0px;
     margin-bottom: 0px; }

ul.square { list-style-type: square; }
ul.circle { list-style-type: circle; }

li { padding-bottom: 4px;
     padding-top: 0px; }

ul.catch { list-style-type: decimal;
           padding-top: 1em;}

ul.catch li { font-size: large;
              padding-bottom: 10px;}


pre { margin-top: 10px;
      margin-bottom: -10px;}

pre.dl { margin-top: -20px;
         margin-bottom: -40px;}

pre.pbottom { margin-bottom: 0em; }

code.scilab, code.ketcindy, code.tex, code.bash, code.html, code.javascript, code.python { font-size: large;
                                                                                           font-family: "consolas", "Courier", monospace;
                                                                                           line-height: 120%; }

table { margin-left: 1em;
        margin-bottom: 1em;}

td { padding-right: 20px;
     padding-top: 6px;
     font-size: small;}

dl { margin-left: 1em; }

.notation dt { font-weight: bold;
               margin-left: 1em;}

/* dt { padding-top: 1em; } */

.operator td { font-weight: bold;
               font-size: large;}

a:link {color:#6F391F;}
a:visited{color:sienna;} 
a:hover{color:#ED7842;} 
a:active{color:#FEC0A3;}

div.toplink { text-align: left;
              padding-top: 10px;}

div.bottomlink { text-align: left;
                 margin-top: 10px;
                 padding-top: 10px;
                 border-top: 4px dotted #ff9900;}

a.link { margin-left: 5px;
         margin-right: 5px;}

a.noline { text-decoration: none;}

div.clear { clear:both; }

p.strike { text-decoration: line-through;}

pre.nohighlight { background-color: #282828;
                  color: white;
                  padding: 0px;
                  margin-bottom: 4px; }