/*
     ml.css

     version 1.00   Wednesday, 4 October 2000
     version 1.01   Friday, 12 January 2001
     version 1.02   Tuesday, 15 January 2002
     version 1.03   Tuesday, 22 October 2002
     version 1.04   Friday, 10 January 2003
     version 1.05   Tuesday, 14 January 2003
     version 1.06   Sunday, 20 July 2003
     version 1.07   Wednesday, 10 December 2003
     version 1.08   Wednesday, 1 December 2004
     version 1.09   Tuesday, 19 July 2005
*/

body {
    line-height: 1.4em;
    text-align: left;
    color: black;
    background-color: white;
    margin: 1em;
    padding: 0em;
}

address {
    line-height: 1.2em;
    color: #000066;
    background-color: transparent;
    margin: 0em;
    padding: 0em;
}

h1, h2, h3 {
    font-weight: bold;
}

h1 {
    font-size: 2em;
    color: #006633;
    background-color: transparent;
    margin: 0.6em 0em 0.4em 0em;
    padding: 0em;
}

h2 {
    font-size: 1.6em;
    color: #003366;
    background-color: transparent;
    margin: 1.2em 0em 0.2em 0em;
    padding: 0em;
}

h3 {
    font-size: 1.2em;
    color: #660033;
    background-color: transparent;
    margin: 1.0em 0em 0em 0em;
    padding: 0em;
}

p {
    text-indent: 1em;
    margin: 0.1em 0em 0em 0em;
    padding: 0em;
}

p.noindent {
    text-indent: 0em;
}

th {
    font-weight: bold;
    color: #006666;
    background-color: #b0e4e0;
    text-align: center;
    vertical-align: top;
}

td {
    color: #660000;
    background-color: #fffbd0;
    text-align: left;
    vertical-align: top;
}

a:link {
    color: #0066ff;
    background-color: transparent;
}

a:visited {
    color: #00cc33;
    background-color: transparent;
}

a:hover {
    color: #ff66ff;
    background-color: transparent;
}

a:active {
    color: #ff0066;
    background-color: transparent;
}

.contents {
    line-height: 1.8em;
    margin: 0em;
    padding: 0em;
}

.index {
    margin: 0.8em 0em 0em 0em;
    padding: 0em;
}

.url {
    font-family: monospace;
    font-size: 0.95em;
    color: #006600;
    background-color: transparent;
    margin: 0.2em 0em 0em 1em;
    padding: 0em;
}

.explain {
    font-size: 0.95em;
    margin: 0.2em 0em 0em 1em;
    padding: 0em;
}

.noindent {
    text-indent: 0em;
}

.usage {
    font-family: monospace;
    color: #000099;
    background-color: transparent;
    margin: 0.2em 0em 0em 1em;
    padding: 0em;
}

#modorutop {
    margin: 0em;
    padding: 0em;
}

#modorubottom {
    margin: 1.4em 0em 0em 0em;
    padding: 0em;
}