/*BODY*/
body {font: 75% Verdana, sans-serif; margin: 0; padding: 0;}
div#main {margin: 3% 22% 4% 10%; text-align: left; padding: 0;}

body a {text-decoration: none;}
body a:hover {text-decoration: underline overline;}

/*MAST*/
h1#mast {font-size: 200%; line-height: 0.9em; font-weight: bold; margin: 0; padding: 0.3em 0.3em 0; letter-spacing: 0.13em; border-bottom: 1px solid;}
h1#mast a {text-decoration: none;}
h2 {font-size: 175%; font-weight: bold; margin: 0; padding: 0.3em 0.3em 0;}
h2 a {text-decoration: none;}
h2 a:hover {text-decoration: none;}

/*PAGE TITLE*/
div#title {font-size: 150%; font-weight: bold; line-height: 1.4; margin: 0; padding: 0;}

/*DOWNLOAD*/
div.download {margin-left: 12px; padding: 5px 8px 8px 14px; font-weight: bold; line-height: 1.4; background: url(../images/rarrow.gif) center left no-repeat;}

/*SIDEBAR*/
div#sidebar {float: right; width: 15%; margin: 0 0 1em 0; padding: 0; text-align: left;}
div#sidebar b {display: none !important;}
div#sidebar h4 {margin: 0.7em 0 0 2px; padding: 0; font-size: 1em; font-weight: bold; line-height: 1.4em; text-align: left; border-bottom: 2px solid;}
div#sidebar div.sublinks a {border-left: 3px double; margin: 0 0 0 2px; padding: 2px 5px 2px 3px; text-decoration: none; display: block;}
div#sidebar div.sublinks a:hover {border-left: 3px solid;}

/*PGRAPH*/
div#main p.prg {text-align: justify; line-height: 1.4; margin: 1em 0 1em 0; padding: 0;}
div#main p.prg:first-letter {font-weight: bold;}

/*COMMAND*/
div#main pre.cmd {font-family: monospace, sans-serif; font-size: 100%;  
                  width: 96%; margin: 0 2% 0.5em 2%; padding: 0.5em;
                  background-color: #000000; color: #FFFFFF;}

/*LITERAL*/ /*same as above, but with default colors*/
div#main pre.lit {font-family: monospace, sans-serif; font-size: 100%;  
                  width: 96%; margin: 0 2% 0.5em 2%; padding: 0.5em;}

/*BOXED*/
div#main p.boxed {border: 1px solid; padding: 0.4em; font-weight: bold; text-align: center; margin: 2em 0 0 0;}

/*EXAMPLE*/
div#main p.exmpl {border-bottom: 1px solid; font-weight: bold; margin: 1.5em 0 0.5em 0; padding: 0;}

/*LISTED*/
div#main ul {padding: 0 0 0 4em; margin: 0;}
div#main li {margin-bottom: 0.4em;}

/*FOOTER*/
div#footer {font-size: 90%; padding: 0 1em 0 1em; margin: 0; border: solid; border-width: 1px 0; text-align: right; height: 38px;}
div#footer p#msg {padding:0; margin: 0; vertical-align: middle; line-height: 38px;}
div#footer img.w3c {float: left; padding: 2px 0 0 0; margin: 0; border: 0;} /*W3C*/

/*INLINE IMAGE*/
div#main img.inline {margin: 0 0 -0.4em 0em;}

/*MATLAB IMAGE*/
div#main img.mtlb {display: block; margin: 0 auto; border: 1px solid; padding: 0;}

/***COLORS DEFINED IN SEPARATE CSS FILES***/