/* CSS */
body {
    /*margin: 2% 4%;*/
    font: 77% arial, verdana, sans-serif;
    background-color: #fdfdfd;
    color: #333;
}

.keywords {
	font-variant:small-caps;
	color:#333;
	}

.mltext a {
	text-decoration:none;
	color:#3d80df;
	}

/* text styles =================== */
p {
    margin: 0 0 0.8em 0;
}

p, li {
    font-size: 1.2em;
    line-height: 1.5em;
}

strong {
    font-weight: bold;
    color: #555;
}

em {
    font-style: italic;
}

/* heading styles ================ */
h1 {
    margin: 0 0 1em 0;
    padding: 0;
    font-size: 2em;
    line-height: 1.2em;
    font-weight: normal;
}

h2 {
    margin-top: 2em;
    font-size: 1.6em;
    font-weight: normal;
    text-align: center;
}

h3 {
    margin: 1em 0 1.5em 0;
    font-size: 1.2em;
    font-weight: bold;
    text-align: center;
    text-transform: uppercase;
}

h4 {
    margin: 1.5em 0 0.2em 0;
    font: bold 1.3em/1em georgia, serif;
    letter-spacing: -0.05em;
    word-spacing: 0.1em;
}

h5 {
    margin-bottom: 0;
    font-size: 1.2em;
    font-weight: bold;
}

h2 a,
h3 a,
h4 a,
h5 a {
    color: #333;
    text-decoration: none;
}

/* TOC styles ==================== */
.toc {
    float: right;
    width: 30%;
    margin: 0 0 20px 20px;
    padding: 10px;
    border: 1px solid #666;
    font: 0.75em/1.5em verdana, arial, sans-serif;
    background-color: #F6F6F6;
}

.toc a {
    color: #333;
}

.toc a:visited {
    color: #999;
}

.toc h6 {
    margin: 0 0 15px 0;
    font-size: 1.3em;
    font-weight: bold;
    text-align: center;
}

.toc ul {
    margin: 0;
    padding: 0;
}

.toc li {
    margin-top: 0.3em;
    list-style-type: none;
}

.tocindent {
    margin-left: 20px;
}
/* Other styles ================== */
.box {
    margin: 1em 0;
    padding: 1em 1em 0.2em 1em;
    border-width: 1px 1px 1px 5px;
    border-style: solid;
    border-color: #333;
}

.tab {
    text-indent: 25px;
}

.indent {
    margin: 0 25px;
}

.highlight {
    background-color: yellow;
}

.center {
    text-align: center;
}

.right {
    text-align: right;
}

.section {
    margin: 1em 0 2em 0;
    border-top: 3px double #666;
    border-bottom: 3px double #666;
}

/*
table {
    margin: 1em 0;
}

table, tr, td {
    border: 1px solid #333;
    border-collapse: collapse;
    font-size: 100%;
}

td {
    padding: 3px;
}

td p {
    margin: 0;
}
*/