/* Live in Style -- Mac Java */
body     { color: #333333; background-image: url('graphics/metal.png');
           font-size: 90%; font-family: trebuchet ms, sans-serif; margin: 40px; }
table    { font-size: 100%; }
td       { vertical-align: top; }
textarea { font-family: sans-serif; }
br.all   { clear: both; }

/* Links */
a         { color: slategray; font-weight: bold; text-decoration: none; }
a:hover   { color: navy; }
a:active  { color: darkgray; }
a:visited { color: darkgray; }
img       { border-style: none; }

/* Document */
h1           { color: darkblue; font-size: 180%; }
h2           { color: gray; font-size: 110%; font-weight: normal;
               font-family: comic sans ms, american typewriter, sans-serif; }
h3           { color: darkblue; font-size: 110%; margin-bottom: 5px; }
h4           { color: darkblue; font-size: 110%; font-weight: normal;
               font-style: italic; }
em           { font-weight: bold; }
ol           { list-style-type: lower-alpha; font-size: 85%; margin-top: 3px; }
.indent      { margin-left: 30px; }
.stage_right { float: right; margin: 0px 0px 15px 15px; }
.footer      { text-align: right; color: dimgray; font-size: 80%; }
.footer_link { color: dimgray; }

/* Structure */
table.main  { border-collapse: collapse; padding: 0px; margin: 50px auto; }
td.content  { width: 510px; background-color: white; padding: 30px; }
img.gap_fix { display: block; }
div.command { color: dimgray; font-family: monospace; margin: 10px 30px; }
div.code    { float: left; white-space: pre; background-color: lightsteelblue;
              font-weight: bold; font-family: monospace; 
              padding: 0px 15px 15px 15px; margin: 10px 30px; }
div.code p  { text-align: center; color: white; background-color: royalblue; 
              font-weight: bold; font-family: sans-serif; padding: 2px;
              margin: 0px -15px; }
div.legend  { text-align: center; font-size: 80%; }

/* Obsolete */
div#code    { float: left; white-space: pre; background-color: lightsteelblue;
              font-weight: bold; font-family: monospace; 
              padding: 0px 15px 15px 15px; margin: 10px 30px; }
div#code p  { text-align: center; color: white; background-color: royalblue; 
              font-weight: bold; font-family: sans-serif; padding: 2px;
              margin: 0px -15px; }

/* PERFECT Style */
div.perfect       { display: inline-block; background-image: url('graphics/metal.png');
                    color: dimgray; border: 1px solid darkblue; }
div.perfect h1    { text-align: center; background-color: darkblue; color: white;
                    font-size: 110%; padding: 4px; margin: 0px; }
div.perfect table { padding: 10px; }
div.perfect th    { text-align: right; }
div.perfect p     { float: right; font-size: 70%; margin: 10px 0px 0px 0px; color: gray; }
div.perfect p a   { color: gray; text-decoration: none; }
div.perfect div   { text-align: center; }
input.click       { cursor: pointer; }