@import url(http://fonts.googleapis.com/css?family=Libre+Baskerville); html, body { min-height: 100%; } html { /* background-color: #e8e8e8; */ background: none; /* background-repeat: no-repeat; */ overflow-y: scroll; /* Force vertical scroll-bar to avoid jumps */ } body { margin: 0; } a { font-family: Arial,Helvetica,sans-serif; font-weight: bold; text-decoration: none; background-color: #ffffff; color: #0000b0; margin: 0em; padding: 0 0.1em; } a.anchor { padding: 0; } a:visited { color: #6060a0; } a:hover { background-color: #f8f8a0; color: black; } .bigger { font-size: 1.3em; vertical-align: -5%; top: 0.05em; } .update { border: solid #505050 1px; font-style: italic; background-color: #f9f9ea; padding: 0.5em; margin: 0 2em 1em -7pt; line-height: 130%; } .update h3 { padding: 0; margin: 0; padding: 0; } .update p { font-size: 0.8em; } .date { font-family: Tahoma,sans serif; color: #101010; font-size: 0.8em; position: absolute; top: 0; right: 0; margin: 0; padding: 0.2em 0.4em; } .hidden { visibility: hidden; } .instruction { line-height: 120%; font-size: 1.5em; } h1, h2, h3, h4, h5 { font-family: "Libre Baskerville", sans-serif; line-height: 155%; } .masthead { margin: 0.8em 0 0 0; padding: 0; position: relative; } .masthead .top { padding: 1em 1em 1em 1em; border-top: 8px solid #900000; border-bottom: 8px solid #900000; border-top-width: 20px; background-color: #fff4f3; min-height: 92px; } .masthead .top .logo { margin: 0; padding: 0; float: left; left: 0; } .masthead .top .logo a { background-color: transparent; display: block; } .masthead .top h1 { font-family: "Libre Baskerville"; font-size: 1.8em; font-weight: normal; padding: 0.2em 0 0.2em 0.5em; margin: 0em 20px 0 240px; color: black; border: 2px solid #800000; background-color: #fff9f8; background: linear-gradient(to bottom, #fffbfa, #fff9f8 20%, #fffbfa 50%, white 100%); } .masthead .top h1 a { padding: 0; margin: 0; font-family: inherit; font-size: inherit; font-weight: inherit; color: #444; } .masthead .top h1 a:hover { color: black; background-color: white; } .masthead .bottom { border: 5px solid #900000; border-top: none; background-color: #f4f4f4; float: right; margin-right: 1em; padding: 0 0.3em; } .masthead .bottom .link { font-family: Tahoma, Helvetica, sans-serif; font-size: 0.9em; font-weight: bold; display: inline-block; } .masthead .bottom .link a { color: #606060; background-color: transparent; padding: 0 0.2em; } .masthead .bottom .link a:hover { color: black; background-color: #fffbfa; } .footer { border-top: 3px solid #900000; margin: 0.5em 0 0 0; padding: 0.4em 0 1em 0; } .readerCommentsWrapper { margin: 2em; padding: 1em; border: 1px solid #a0a0a0; background-color: #f8f8f8; border: solid 1pt #d0d0d0; } .readerComments { margin: 0; float: right; width: 100%; } .references { background-color: #f0f4f0; margin-left: 17pt; padding: 3pt; border: solid #d0d0d0 1px; font-size: small; } h1 { font-family: "Libre Baskerville", sans-serif; font-weight: bold; color: #500000; background-color: #eaeaea; font-size: 2.5em; padding: 0.2em 0.7em 0.2em 0.7em; margin: 0; margin-left: -0.8em; margin-right: 0; border: solid 2px #404040; border-top: solid 4px #404040; } .itemTitle { background-color: white; position: relative; margin: 0 0 1.5em 0; } blockquote { font-size: 1.2em; background-color: #f2f2f2; padding: 0.7em; margin: 1em 3em; line-height: 130%; border: solid #707070 2.5pt; } .analyses { border: solid #8090e0 2px; padding: 1em; margin: 1em; } .analyses .quote { font-size: 1.1em; background-color: #f2f2f2; padding: 0.7em; margin: 2em 0 0 0; border: solid #707070 2.5pt; } .analyses .quote:first-child { margin: 0; } .analyses .analysis { font-size: 0.9em; margin: 0.3em 1em 0 1em; } blockquote.heading { border: none; background-color: #ffffff; padding: 5pt; font-size: 1.3em; font-weight: bold; font-family: Tahoma, Helvetica, sans-serif; } blockquote.highlight { font-size: 1.3em; line-height: 120%; padding: 5pt; background-color: #ffffe0; border: solid #606060 1pt; } blockquote.line { font: bold 1em Tahoma, Helvetica, sans-serif; margin: 0.3em 3em; padding: 0.1em 0.2em; background-color: #f0ffe0; border: solid #606060 1pt; } blockquote.question { font-size: 1.0em; font-family: Tahoma, Helvetica, sans-serif; font-weight: bold; padding: 5pt; background-color: white; color: #900000; border: none; } .definition { font-size: 1.1em; background-color: #e9e9e9; padding: 5pt; margin: 8pt 28pt 8pt 28pt; border: solid #000000 1pt; } .eqn { padding: 0; margin: 0 0 0.5em 3em; } .interlude { font: 1em Tahoma, Helvetica, sans-serif; border: solid gray 1pt; margin: 5pt -15pt 5pt 30pt; padding: 7pt 12pt 7pt 12pt; background-color: #ffffdf; } .interlude h2 { font: bold 1.2em Tahoma, Helvetica, sans-serif; background-color: #ffffdf; color: #2f2f2f; border: none; } .articleBlock { position: relative; margin: 1em 5em 2em 8em; } .article { font-family: Georgia, serif; font-size: 1.0em; line-height: 125%; max-width: 35em; margin: 2em 0 0 0; padding: 0; background-color: white; } .article h2, .article h3, .article h4, .article h5 { margin: 0; font-weight: bold; font-family: "Libre Baskerville", sans-serif; background-color: #eaeaea; padding-left: 0.3em; margin-left: -0.3em; } .article h2, .article h3, .article h4, .article h5 { color: #500000; } .article h2 { margin-top: 2em; margin-bottom: 0.3em; margin-right: -4em; font-size: 1.4em; color: #500000; border-top: solid 0.1em black; } .article h3, .article h4, .article h5 { background-color: #f0f0f0; } .article ul { margin-top: 0.5em; margin-bottom: 0.5em; } .article ul li { margin: 0.4em 0; } .article h2:first-child { margin-top: 0.5em; } .article h3 { margin-top: 1em; font-size: 1.2em; } .article h4 { font-size: 1em; } p { margin: 0.0em 0.0em 0.7em 0.0em; } li { margin: 0.0em 0.0em 0.2em 0.0em; } .articleToolbar { position: relative; margin: 0; padding: 0; margin-top: 4em; background-color: white; font: 1em Tahoma, Helvetica, sans-serif; } a.voteThis { text-decoration: none; padding: 0; margin: 0; background-color: #e0e0e0; color: #000090; } a.voteThis:hover { background-color: #f8f8c0; color: #000000; } a.voteThis:visited { background-color: #d0d0d0; color: #707070; } .main { margin: 0; padding: 0; } .articleAndSidebar { padding: 0; margin: 0 0 0 0.5em; } .sidebar { float: left; left: 10px; width: 110px; margin: 0; padding: 0 0 0 0; font: 1em Tahoma, Helvetica, sans-serif; } .author { font: italic 1.2em Tahoma, Helvetica, sans-serif; padding: 0; display: inline; text-align: right; position: absolute; right: 0; } .author a { color: black; } .author a:hover { background-color: #f0f0f0; } .byline { font: 1em Tahoma, Helvetica, sans-serif; height: 1.0em; position: relative; padding: 0 0.3em; margin: 5pt 0pt 5pt 100pt; max-width: 40em; } .math { font-weight: bold; padding: 0 0.3em; } div.math { margin: 0 0 1em 3em; } div.MathJax_Display { text-align: left; } .lookingForWorkAd { margin: 2em 0 2em 5em; padding: 1em; border: solid #505050 1px; max-width: 40em; font-size: 1.2em; line-height: 110%; background-color: #fcfcff; } .lookingForWorkAd .heading { font-family: "Libre Baskerville", sans-serif; font-size: 1.4em; margin: 0 0 1em 0; } .lookingForWorkAd .heading .alert { color: red; font-weight: bold; } .lookingForWorkAd a { font-weight: bold; } .note { font-size: 1em; font-family: Tahoma, Helvetica, sans-serif; background-color: #f0f0f0; padding: 0.2em; } p.indent { margin-left: 2em; } .indented-box { margin-left: 2em; padding: 0.3em; border: solid #d0d0d0 2pt; } .indented-box h3 { border: none; background-color: white; text-align: center; } .indented-box p { margin: 0.5em; } div.indented-box { padding: 0em; } .tag { padding: 0 2pt 0 2pt; background-color: #ffe0e0; } code { background-color: #e0f0e0; padding-left: 0.1em; padding-right: 0.1em; } pre.code { padding: 0.5em; margin-left: 3em; margin-bottom: 1em; background-color: #e0f0e0; overflow: auto; } pre.code code { background-color: #e0f0e0; font-size: 1.2em; } pre.code .comment { background-color: #f0f090; } pre.output { padding: 0.5em; margin-left: 3em; margin-bottom: 1em; background-color: #f0e0e0; overflow: auto; } pre.output code { background-color: #f0e0e0; font-size: 1.2em; } .comments { border: solid #803030 1pt; position: absolute; top: 1pt; right: 1pt; display: inline; background-color: #f0d0d0; font: 1.2em Tahoma, Helvetica, sans-serif; padding: 0pt 0pt; margin: 0; } .comments a { background-color: #fff0f0; color: #404040; text-decoration: none; padding: 0 3pt; } .comments a:hover { background-color: #ffffe0; color: black; } .clearLeft { clear: left; } .clearBoth { clear: both; } .footer { position: relative; } div.figure { margin: 15pt 0 15pt 0; text-align: center; background: white; padding: 6pt; border: solid 1px #d0d0d0; display: inline-block; } .cartoon { border: solid 1px gray; padding: 10pt; text-align: left; font-size: 1em; margin: 10pt auto 10pt auto; width: 80%; } .caption { text-align: left; font-size: 0.9em; margin: 1em auto 0 auto; max-width: 40em; } .spacedCaption { max-width: 45em; font-size: 0.8em; text-align: left; margin: 1.5em auto 0 auto; } dt { margin-left: 1em; margin-top: 0.3em; } dd { margin-left: 2em; } p.listItem { margin-top: 2em; } .listNumber { font-size: 4em; padding: 0 3pt; } .biggerListHeading, .listHeading { font-weight: bold; line-height: 150%; padding: 0 2pt; border: solid 1pt #606060; background-color: #ffffe0; } .listHeading { font-size: 1.2em; } .biggerListHeading { font-size: 3em; } .copyrightNotice { font: italic 10pt Tahoma, Helvetica, sans-serif; font-size: 0.7em; } .box { padding: 1em; } .box span { border: solid 3pt black; padding: 0.5em; } .idea { margin: 1em 1em 0.2em 0.3em; font-size: 1.5em; font-style: italic; } .proposition { font-family: "Libre Baskerville", sans-serif; font-weight: bold; font-size: 1.1em; background-color: #fff0aa; padding: 0.2em 0.2em 0.2em 0.7em; margin: 0.3em 0 0.5em 0; } .commentOrVote { font-family: Tahoma, Helvetica, sans-serif; font-size: 0.8em; margin: 0; padding: 0; color: #be7010; } .commentOrVote a { color: #be2010; } .masthead h1 { font-size: 1.4em; } .link-blurbs .blurb { background-color: #ffffff; color: #303030; border: 1px solid #d05010; padding: 0em 1em 0.2em 0.5em; margin: 1em 4em 1em 4em; } .link-blurbs .blurb:hover { background-color: #f8f8a0; border: 1px solid black; } .link-blurbs .blurb a { font-family: Tahoma, Helvetica, sans-serif; font-weight: normal; background-color: transparent; display: block; color: #303030; margin: 0; padding: 0; } .link-blurbs .blurb a:hover { color: black; } .link-blurbs .blurb a .title { font-weight: bold; vertical-align: top; display: inline-block; margin: 0 0 0 0; padding: 0.2em 0 0 0; color: #707070; font-size: 1.4em; line-height: 100%; } .link-blurbs .blurb a .heading { font-weight: bold; font-size: 3em; display: inline-block; padding: 0 0.2em; } .link-blurbs .blurb a p { margin: 0.2em 0; padding: 0; } .link-blurbs .blurb a p a { font-family: Tahoma, Helvetica, sans-serif; font-weight: bold; } .link-blurbs .blurb a .indenting p:nth-child(1) { margin-left: 3em; } .link-blurbs .blurb a .indenting p:nth-child(2) { margin-left: 5em; } .link-blurbs .blurb a .indenting p:nth-child(3) { margin-left: 7em; } .link-blurbs .blurb a .indenting p:nth-child(4) { margin-left: 9em; } .links { border: 1px solid #d05010; padding: 0.6em 1em; margin: 1em 12em 1em 5em; background-color: #ffffff; max-width: 60em; } .links p, .links ul, .links ol { font-family: Tahoma, Helvetica, sans-serif; } .links p { padding: 0; margin: 0 0 0.5em 0; } .links ul { padding-top: 0; padding-bottom: 0; margin-top: 0; margin-bottom: 0; } .links h2, .links h3 { font-family: "Libre Baskerville", sans-serif; font-weight: bold; color: #a00000; margin: 0 0 0.3em 0; } .links h2 a, .links h3 a { font-family: "Libre Baskerville", sans-serif; color: #a00000; } .links h2 a:visited, .links h3 a:visited { color: #a00000; } .text, .about { border: 1px solid #d05010; padding: 1em 1em; margin: 1em 3em 1em 5em; background-color: #ffffff; font-family: Tahoma, Helvetica, sans-serif; } .text p, .about p { padding: 0; margin: 0 0 0.5em 0; } .label { font-family: Tahoma, Helvetica, sans-serif; font-size: 1.2em; font-weight: bold; position: relative; top: 0.05em; } .wideItem { margin: 0.3em 1em; } .wideItem h1 { margin: 0.5em 0 1em 0; } .copyright { font-family: Tahoma, Helvetica, sans-serif; font-size: 0.7em; } .example { font-family: monospace; margin: 0.5em 0 0.5em 4em; padding: 0.2em 0.4em; border: 1px solid #999; background-color: #f6faff; } .updated { font-family: Tahoma, Helvetica, sans-serif; font-size: 0.7em; text-align: right; margin: 1em 0 0 0; padding: 0; color: #036; } .screencast { margin: 3em; } .screencast h1 { margin: 1em 0; } .screencast embed, .screencast video { margin: 1em 0; } /*# sourceMappingURL=site.css.map */