body {
    font-family: verdana;
    font-size: 100%;
}
/* top and bottom navigation box */
.navibox {
    background-color: #81c784;
}
.dtdnav {
    float: left;
    display: table-column;
    height: 50px;
    background-color: #81c784;
}
.mr20a10 {
    margin-right: 20px;
}
.navw {}
.navmrl {}
.dtanav {
    text-align: center;
    line-height: 40px;
    color: white;
    font-size: 300%;
}
.dtxnav {
    text-align: center;
    line-height: 50px;
    color: white;
    font-size: 150%;
}
a.nav {
    color: white;
    text-decoration: none;
}
/* copyright item */
.critem {
    color: grey;
    font-size: 80%;
    margin-top: 0.5em;
}

/* links in a list like in index, top level */
.ali {
    color: DarkGreen;
    text-decoration: none;
}
/* links in a list like in index, level 2 */
.ali2 {
    color: DarkGreen;
    text-decoration: none;
    margin-left: 1.0em;
}

/* symbols page */
.dtable {
    display: table;
    width: auto;
}
.dtr {
    display: table-row;
    width: auto;
}
.dtd1 {
    float: left;
    display: table-column;
    margin-right: 10px;
    width: 50px;
    height: 50px;
    background-color: #81c784;
    margin-top: 10px;
}
.dtx1 {
    text-align: center;
    line-height: 50px;
    color: white;
    font-size: 200%;
}
.dtd2 {
    float: left;
    display: table-column;
    margin-right: 10px;
    height: 50px;
    margin-top: 10px;
}
.dtx2 {
    line-height: 50px;
}
.dtx3 {
    line-height: 25px;
}
.txblack {
    color: black;
}

/* top level header */
h1 {
    margin-top: 1.0em;
    margin-bottom: 1.0em;
    color: DarkOliveGreen;
    font-size: 150%;
}
/* second level header */
h2 {
    margin-top: 1.0em;
    margin-bottom: 1.0em;
    color: DarkOliveGreen;
    font-size: 125%;
}
/* line-spacing sparse */
.sparse {
    line-height: 2.0;
}
ul {
    color: green;  /* W=no padding-left */
}
a {
    color: #114216;
}
@media only screen and (max-width: 620px) {
  /* For mobile phones: */
.mr20a10 {
    margin-right: 15px; /* W=20 */
    }
.navmrl {
    margin-left: 15px;
    }
.navw {
    width: 30px;
    }
ul {
    color: green;
    padding-left: 20px;  /* W=none */
    }    
}