@font-face {
  font-family: PTSansWF;
  font-style: normal;
  font-weight: 400;
  src: url('http://rs.gravitext.com/fonts/pt_sans_400.ttf') format('truetype'),
       url('http://rs.gravitext.com/fonts/pt_sans_400.woff') format('woff');
}
@font-face {
  font-family: PTSansWF;
  font-style: italic;
  font-weight: 400;
  src: url('http://rs.gravitext.com/fonts/pt_sans_400italic.ttf') format('truetype'),
       url('http://rs.gravitext.com/fonts/pt_sans_400italic.woff') format('woff');
}
@font-face {
  font-family: PTSansWF;
  font-style: normal;
  font-weight: 700;
  src: url('http://rs.gravitext.com/fonts/pt_sans_700.ttf') format('truetype'),
       url('http://rs.gravitext.com/fonts/pt_sans_700.woff') format('woff');
}
@font-face {
  font-family: PTCapBWF;
  font-style: normal;
  font-weight: 700;
  src: url('http://rs.gravitext.com/fonts/pt_sans_caption_700.ttf') format('truetype'),
       url('http://rs.gravitext.com/fonts/pt_sans_caption_700.woff') format('woff');
}

body {
    font-family: PTSansWF, sans-serif;
    font-size: 12pt;
    background-color: white;
}

p { margin: 0 0 1.5em 0;
    text-align: justify;
    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    hyphens: auto;
}

li p { margin: 0 0 0.75em 0; }

a { text-decoration: none; color: #33a; }
a:hover { text-decoration: underline; color: #33f; }
a.pdf:before {
    margin-right: 1em;
    content: url(/files/css/icon_pdf.gif);
}

#site h1 {
    margin-top: 1em;
}

h1,h2,h3,h4 {
    font-family: PTCapBWF, sans-serif;
    font-weight: normal;
    margin-top: 1.5em;
    clear: left;
}
h1 { margin-bottom: 0.5em; }

h2 { font-size: 120% }

hr {
    border-top: 1px solid silver;
    border-bottom: none;
    padding: 0;
    margin: 1.46em 0 0 0;
}

sup { line-height: 1ex; }

#site {
    max-width: 715px;
    margin: 1.5em auto 3em auto;
    line-height:1.5em;
}

#page-first { display: none }
#page-first-light { display: none }

#page-first + p { padding-top: 1em; clear: right }
#page-first-light + p { padding-top: 1em; }

.right { float: right; clear: left; }
.left { float: left; clear: right; }
.inset {
    border: 1px solid silver;
    padding: 2px;
    margin: 0em 0.8em 0.8em 0.8em;
}
.right.inset { margin-right: 0 !important; }
.left.inset { margin-left: 0 !important; }
.quiet {
    color: grey;
    font-size: 0.875em;
    line-height: 1.714em;
}
blockquote {
    padding: 0 2.8em;
    margin: 1.714em 0;
    color: #444;
    font-size: 0.875em;
    line-height: 1.714em;
}

.note {
    padding-top: 0.5em;
    background-color: #fafaff;
    border-top: 1px solid silver;
    border-bottom: 1px solid silver;
}

table {
    width: 80%;
    margin: 1.5em auto 1.5em auto;
}
table tr { text-align: center; }
table th {
    font-family: PTCapBWF, sans-serif;
    font-weight: normal;
    border-bottom: 1px solid #BBBBBB;
    padding: 0.2em 1em;
}
table td {
    border-bottom: 1px solid #DDDDDD;
    padding: 0.2em 1em;
}
table th.title {
    border-bottom: 1px solid gray;
    border-top: 1px solid gray;
    vertical-align: bottom;
    background-color: lightgrey;
}

caption {
    color: #333;
    font-size: 0.875em;
    margin: 0.875em auto 0 auto;
    line-height: 1.14em;
    text-align: justify;
    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    hyphens: auto;
}

.vblog a { color: black; }
.vblog a:hover { text-decoration: none; }

#header .vblog a { color: #fffffa; }
#header .vblog a:hover { color: black; }

#header .ptitle {
    font-family: PTCapBWF, sans-serif;
    font-size: 200%;
}
#header .date {
    font-size: 87.5%;
}
#header .nlink {
    font-family: PTCapBWF, sans-serif;
    font-size: 200%;
}

.vblog {
    font-family: monospace;
    font-weight: bold;
    font-size: 22pt;
    word-spacing: -0.33em;
    letter-spacing: -0.08em;
    text-shadow: #aaa 3px 3px 4px;
    margin-top:    0em;
}

#header .vblog {
    float: right;
    margin-bottom: 0.5em;
}

div.footnotes {
    margin-top: 2em;
    padding-right: 1em;
    border-left: 2px solid grey;
}
.footnotes { color: grey; }
.footnotes:hover { color: black; }
.footnotes ol li {
    list-style-type: decimal;
    font-size: 75%;
    line-height: 1.5em;
}
.footnotes ol li > a { display: none; }

.section {
    font-size: 87.5%;
    line-height: 1.43em;
    margin-bottom: 1.43em;
    margin-top: 1.43em;
    margin-left: 7.5em;
}
.section h1 {
    font-family: PTCapBWF, sans-serif;
    font-size: 100%;
    line-height: 1.43em;
    position: absolute;
    width: 6em;
    max-width: 6em;
    margin-left: -7.5em;
    margin-top: 0em;
}

.section p { margin-bottom: 1.43em; }

dd {
    margin-left: 7.5em;
}
dt {
    float: left;
    max-width: 6em;
}

.section p { margin-bottom: 1.43em; }

.list .title {
    font-family: PTCapBWF, sans-serif;
    font-size: 120%
}

p.line { position: relative; margin: 0; }

.comments { font-size: smaller; position: absolute; color: silver; right: 0; top: 0; }
.excerpt { color: black; }

.signature {
    margin-top: 3em;
    position: relative;
}
.signature .author {
    font-style: normal;
    color: black;
    display: block;
    margin-bottom: 1.5em;
}
.signature .date {
    font-size: 87.5%;
    line-height: 1.5em;
    display: block;
    font-variant: small-caps;
    font-style: normal;
}

.signature .location {
    display: block;
    font-size: 87.5%;
    line-height: 1.5em;
    right: 0;
    top: 1.5em;
}

/* Code: */
pre {
    margin: 1em 0 1.5em 0;
    font-size: 10pt;
    line-height: 1.5em;
    color: #111;
    background: #f8f8ff;
    border: 1px solid #dedede;
    padding: 0.5em 1em;
    overflow: hidden;

    box-shadow: 1px 1px 6px #ccc;
    -webkit-box-shadow: 1px 1px 6px #ccc;
    -moz-box-shadow: 1px 1px 6px #ccc;
}
pre:hover {
    border-right: none;
    overflow: visible;
}

code {
    font-size: 10pt;
    background-color: #f8f8ff;
    border: 1px solid #dedede;
    padding: 0.1em 0.2em;
    white-space: nowrap;
}

pre code {
    border: 0px none;
    padding: 0em;
    white-space: pre;
}

/* Footer: */
#footer {
    margin-top: 0;
    color: grey;
    font-size: 87.5%;
    line-height: 1.3em;
}
#footer address {
    position: relative;
    margin: .5em 0 0 0;
    text-align: right;
}
#footer a {
    font-style: normal;
    text-decoration: none;
}
#footer .copyright {
    position: absolute;
    left: 0;
    text-align: left;
    display: block;
}
#footer .engine {
    position: absolute;
    text-align: right;
    display: block;
    right: 0;
}

/* Figures and images */
dl.figure {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
    text-align: center;
}

dl.figure dd {
    color: #333;
    font-size: 0.875em;
    margin: 0.875em auto 0 auto;
    line-height: 1.14em;
    text-align: justify;
    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    hyphens: auto;
    width: 85%;
}

/* Equations */
div.maruku-equation { display: block ;text-align: center; }
div.maruku-equation img.maruku-png { position: relative; top: -0.75em;}
span.maruku-inline { }
img.maruku-png { }

#home-photo {
    float: right;
    padding-left: 1em;
}

#home-photo h1 {
    position: absolute;
    color: #add8e6;
    font-weight: normal;
    font-size: 130%;
    margin-left: 72px;
    margin-top: 275px;
}

#home-photo img {
    border: 3px double silver;
    box-shadow: 2px 2px 8px #ccc;
    -webkit-box-shadow: 2px 2px 8px #ccc;
    -moz-box-shadow: 2px 2px 8px #ccc;
}

body#home #site {
    margin-top: 0
}

div.image {
    text-align: center
}

div.svg-object {
    text-align: center
}