michael@0: body {
michael@0:   background-color: #ffffff;
michael@0:   color: black;
michael@0:   margin-right: 1in;
michael@0:   margin-left: 1in;
michael@0: }
michael@0: 
michael@0: 
michael@0: h1, h2, h3, h4, h5, h6 {
michael@0:   color: #3366ff;
michael@0:   font-family: sans-serif;
michael@0: }
michael@0: @media print {
michael@0:   /* Darker version for printing */
michael@0:   h1, h2, h3, h4, h5, h6 {
michael@0:     color: #000080;
michael@0:     font-family: helvetica, sans-serif;
michael@0:   }
michael@0: }
michael@0: 
michael@0: h1 { 
michael@0:   text-align: center;
michael@0:   font-size: 18pt;
michael@0: }
michael@0: h2 {
michael@0:   margin-left: -0.5in;
michael@0: }
michael@0: h3 {
michael@0:   margin-left: -0.25in;
michael@0: }
michael@0: h4 {
michael@0:   margin-left: -0.125in;
michael@0: }
michael@0: hr {
michael@0:   margin-left: -1in;
michael@0: }
michael@0: 
michael@0: /* Definition lists: definition term bold */
michael@0: dt {
michael@0:   font-weight: bold;
michael@0: }
michael@0: 
michael@0: address {
michael@0:   text-align: right;
michael@0: }
michael@0: /* Use the <code> tag for bits of code and <var> for variables and objects. */
michael@0: code,pre,samp,var {
michael@0:   color: #006000;
michael@0: }
michael@0: /* Use the <file> tag for file and directory paths and names. */
michael@0: file {
michael@0:   color: #905050;
michael@0:   font-family: monospace;
michael@0: }
michael@0: /* Use the <kbd> tag for stuff the user should type. */
michael@0: kbd {
michael@0:   color: #600000;
michael@0: }
michael@0: div.note p {
michael@0:   float: right;
michael@0:   width: 3in;
michael@0:   margin-right: 0%;
michael@0:   padding: 1px;
michael@0:   border: 2px solid #6060a0;
michael@0:   background-color: #fffff0;
michael@0: }
michael@0: 
michael@0: UL.nobullets {
michael@0:   list-style-type: none;
michael@0:   list-style-image: none;
michael@0:   margin-left: -1em;
michael@0: }
michael@0: 
michael@0: /*
michael@0: body:after {
michael@0:   content: "Google Confidential";
michael@0: }
michael@0: */
michael@0: 
michael@0: /* pretty printing styles.  See prettify.js */
michael@0: .str { color: #080; }
michael@0: .kwd { color: #008; }
michael@0: .com { color: #800; }
michael@0: .typ { color: #606; }
michael@0: .lit { color: #066; }
michael@0: .pun { color: #660; }
michael@0: .pln { color: #000; }
michael@0: .tag { color: #008; }
michael@0: .atn { color: #606; }
michael@0: .atv { color: #080; }
michael@0: pre.prettyprint { padding: 2px; border: 1px solid #888; }
michael@0: 
michael@0: .embsrc { background: #eee; }
michael@0: 
michael@0: @media print {
michael@0:   .str { color: #060; }
michael@0:   .kwd { color: #006; font-weight: bold; }
michael@0:   .com { color: #600; font-style: italic; }
michael@0:   .typ { color: #404; font-weight: bold; }
michael@0:   .lit { color: #044; }
michael@0:   .pun { color: #440; }
michael@0:   .pln { color: #000; }
michael@0:   .tag { color: #006; font-weight: bold; }
michael@0:   .atn { color: #404; }
michael@0:   .atv { color: #060; }
michael@0: }
michael@0: 
michael@0: /* Table Column Headers */
michael@0: .hdr { 
michael@0:   color: #006; 
michael@0:   font-weight: bold; 
michael@0:   background-color: #dddddd; }
michael@0: .hdr2 { 
michael@0:   color: #006; 
michael@0:   background-color: #eeeeee; }