/*This stylesheet should NOT currently be linked from the home page. */ body { background-color:white; } a:link { color: blue; text-decoration: none; } a:hover { color:red; text-decoration: underline; } a:active { color:#4b0082; text-decoration: underline; } a:focus:hover { color:#4b0082; text-decoration: underline; } a:focus:active { color:red; text-decoration: underline; } a:focus { text-decoration: underline; } /* a:visited { color:slateblue; text-decoration: underline; } */ a:visited:hover { color:red; text-decoration: underline; } a:visited:active { color:#4b0082; text-decoration: underline; } var { color:#717; font-weight:500; font-style:italic; font-family:helvetica,sanserif; } kbd, tt { font-size:0.92em; font-family:"courier new",monospace; margin-left:0.4em; margin-right:0.4em; } #header { text-align:center; border-top: none; border-bottom: 1px solid #999999; margin-left: 0em; margin-right: 0em; margin-top: 1em; margin-bottom: 2em; padding: 1em 0em 0em 0em; } #toc { text-align:left; margin: 1em auto; width:16em; } .tocblock { text-align:left; margin: 1em auto; padding-left:2em; width:12em; } #main { margin: 2em auto; padding: 0 2.5em; max-width:56em; } p, ol, ul { margin-left: 0em; margin-top: 0.5em; margin-bottom: 0.2em; padding-bottom: 0em; } li { padding-top: 0.5em; } blockquote { padding-left: 1em; padding-top: 0.2em; padding-bottom: 0.2em; margin: 1.2em 3em 1.2em 2em; color:#456; font-size: 94%; font-family: helvetica,arial,sans-serif; border-left: 1px solid #789; } .q { padding-left: 1em; padding-top: 0.2em; padding-bottom: 0.2em; margin: 1.2em 3em 1.2em 2em; word-wrap: break-word; color:#456; font-size: 94%; font-family: helvetica,arial,sans-serif; border-left: 1px solid #789; } p.name { font-style: italic; } h1 { font-size: 1.2em; font-weight:bold; font-style:normal; text-align:center; margin-top:3em; } h2 { font-size: 1.1em; font-weight:bold; font-style:normal; margin-top:2em; } h3 { font-size: 1em; font-weight:bold; font-style:italic; margin-top:2em; } h4 { font-size: 1em; font-weight:normal; font-style:italic; margin-top:2em; } .subsection { margin-left: 2em; } div#links { margin-top: 1em; border-top: 1px solid #999999; } div#links h2, h4 { margin: 2em 0em 0em 0em; } div.item { margin-bottom: 2em; } div.comment { font-style: italic; font-size: 0.96em; color: gray; margin-top: 0em; margin-left: 0em; margin-bottom: 4em; } div.comment2 { font-style: italic; font-size: 0.85em; padding-bottom: 1.0em; margin-top: 1em; margin-bottom: 1em; } p.comment2 { margin: 0 0 0 0; padding: 0 0 0 0; } p.previous { text-align: left; margin-left: 0em; margin-top: 2.5em; margin-bottom: 1em; font-style: italic; padding-bottom: 0.5em; border-bottom: 1px solid #999999; } p.next { text-align: right; font-style: italic; margin-bottom: 0.5em; } #respond { font-style: italic; border-top: 1px solid #999999; margin-top: 2em; } #respond p { margin: 0 0 0 0; padding: 0.5em 0 0.5em 0; } #footer { text-align:center; border-top: 1px solid #999999; border-bottom: 1px solid #999999; margin: 1em 0em 0em 0em; } #copyright { font-style:italic; font-size:small; } div.sidebar { font-style: italic; display: block; float: right; width: 40%; background-color: #e3e3e3; border: 1px solid #999999; padding: 1em; /* inside padding */ margin: 1.5em; /* outside padding, except in IE 6 Win */ } div.sidebar p { font-size: 0.9em; line-height: 1.5; margin: 0em 0em 0em 0em; padding: 0em 0em 0em 0em; } div.sidebar h4 { font-size: 0.9em; font-weight: bold; margin: 0em 0em 1.5em 0em; } p.code { font-family: "Courier New",monospace; font-size:0.92em; margin: 1em 1em 1.5em 1em; word-wrap: break-word; } #credit { margin-top: 3em; margin-bottom: 3em; font-style:italic; text-align:center; color:#696969;} .byline {text-align:center; font-style:italic; font-size:1.0em; color:#696969;} .disclaimer { font-style:italic; text-align: center; font-size: 0.92em; margin: 1em 4em 1em 4em; } .qsub {margin-left: 4em; margin-right:4em; font-style:normal; font-size:0.95em; color:#333; font-family: arial,sans-serif; } p.qed {margin-left: 2em; margin-right: 2em; font-style:normal; color:#191970} span.qed {font-style:italic} .c2 {text-align: center} .log { padding:1em; margin: 1em 1em 1.5em 1em; font-family: "Courier New",monospace; font-size:0.8em; word-wrap: break-word; } .date {font-weight: bold; margin-top: 2em; margin-bottom: 2em;} .ts {color: red; font-size: small; } .ds {color: green; font-size: small; } .red {color: red;} .pink {font-family:Geneva,Helvetica,Arial,sans-serif; font-size:0.8em; text-align: center; padding:0px; } span.yellow {margin: 1em 1em 1em 1em; padding: 4px 8px 4px 8px; width:auto; border:0px; color:black; background:#ffffaa; font-style:italic; font-size:0.92em;} .phish { font-size:85%; font-family:helvetica,arial,sans-serif; padding:1em; word-break:break-all;word-wrap: break-word;-webkit-hyphens: auto; -moz-hyphens: auto; hyphens: auto; } @media (max-device-width:680px) { body { -webkit-text-size-adjust:224%; font-family:"Lucida Grande", "Lucida Sans Unicode", Helvetica, Verdana, sans-serif; } #main { font-size:110%; font-weight: 400; line-height: 140%; margin: 2em auto; padding: 0 1.5em; max-width:48em; } .navbar { -webkit-text-size-adjust:160%; font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, sans-serif; padding: 0em 1em; } } 