body { color: #333333; 
       background: #f9f9f0;
       font-family: Meiryo, Verdana, Helvetica, Arial, "Bitstream Vera Sans", sans-serif;
       line-height: 1.25;
       margin-left: 10%; 
       margin-right: 10%;
       margin-top: 2.5em;
       margin-bottom: 1.5em; }
h1, h2, h3 { text-align: left; 
             font-family: Meiryo, Verdana, Georgia, Tahoma, Helvetica, Arial, "Bitstream Vera Sans", sans-serif;
             font-weight: normal;
             margin-top: 0em;
             padding-top: 0.8em;
             padding-bottom: 0em;
             margin-bottom: 0.8em; }
body.jp { line-height: 1.35; }
body.long { line-height: 1.3; }
h1 { font-size: 165%; }
h2 { font-size: 155%; }
h3 { font-size: 130%; }
h3.abstract { text-align: center; }
div.langs { text-align: right; 
            color: #999999;
            background: inherit;
            margin-bottom: 0.6em; }
li.pub strong { font-weight: bold;
                font-size: 95%; }
div.white { border-top: solid;
            border-bottom: solid;
            border-left: solid;
            border-right: solid;
            border-color: #cccccc;
            border-width: 1px;
            padding-top: 0.5em;
            padding-bottom: 0.8em;
            padding-left: 5%;
            padding-right: 5%;
            margin-bottom: 1em;
            color: inherit;
            background: #ffffff;}
div.indented { margin-top: 0%;
               margin-bottom: 0%;
               margin-left: 5%;
               margin-right: 0%;
               font-size: 90%;
}
p.top { text-indent: 0em; 
        text-align: left;
        margin-top: 0.6em;
        padding-top: 0em;
        padding-bottom: 0em;
        margin-bottom: 0.6em; }
ul.home { margin-top: 1.2em;
          padding-top: 0em; }
li.home { margin-top: 0em;
          margin-bottom: 0.6em;
          padding-top: 0em;
          padding-bottom: 0em; }
li.wide { margin-top: 0.3em;
          margin-bottom: 0.5em;
          padding-top: 0em;
          padding-bottom: 0em; }
li.pub { margin-top: 0em;
         margin-bottom: 1em;
         padding-top: 0em;
         padding-bottom: 0em; }
a { text-decoration: underline; }
a:link { color: #265e15;
         background: inherit; }
a:visited { color: #265e15;
            background: inherit; }
a:hover { color: #55bb55;
          background: inherit; }
col.date { width: 15%; }
col.name { text-align: center; }
col.title { width: 35%; }