p.lastupdate { font-size: 80%;
               font-family: serif;
               text-align: right;
               color: gray}


#explain {text-align: center;
             font-size: 80%;
             border-width: 1px 0px 3px 0px;
             border-style: solid;
             border-color: rgb(128,128,128);
             padding: 0.2em 0.2em 0.2em 0.2em;
             background-color: white;
             color: black}

body.topPageBody { text-align: center;
                   margin: 0 auto }

div.setwidth { width: 728px;
               margin-left: auto;
               margin-right: auto; }