/* freetype2.css */
/* the column container layout is based on */
/* http://matthewjamestaylor.com/blog/perfect-multi-column-liquid-layouts */
/* use Droid fonts */
@import url("https://fonts.googleapis.com/css?family=Droid+Serif:r,i,b,bi");
@import url("https://fonts.googleapis.com/css?family=Droid+Sans:r,b");
@import url("https://fonts.googleapis.com/css?family=Droid+Sans+Mono");
/* top-level appearance */
body {
width: 100%;
margin: 0em;
padding: 0em;
border: 0em;
text-align: left;
font-size: large;
font-family: "Droid Serif", "serif";
line-height: 140%; }
/* table of contents column; */
/* width and offsets must be synchronized with col2 below */
#TOC {
background: #F8F8F8;
position: fixed;
font-family: "Droid Sans", "sans-serif";
font-size: 115%;
left: 0em;
width: 10em; }
#TOC-bottom {
background: #F8F8F8;
left: 0em;
width: 11.5em; }
/* don't display list markers in TOC */
#TOC ul {
list-style: none;
text-align: center;
margin: 0em;
padding: 0em; }
/* separate items with line */
#TOC ul li {
display: block;
padding-top: 0.5ex;
padding-bottom: 0.5ex;
border-bottom: 1px solid #CCCCCC; }
/* give more vertical spacing for funding icons */
#TOC ul li.funding {
padding-top: 1ex;
padding-bottom: 1ex; }
#TOC ul li.funding p {
margin-top: 1.5ex;
margin-bottom: 1.5ex; }
/* this is gray getting black */
#TOC a:link {
color: #666666; }
#TOC a:visited {
color: #666666; }
#TOC a:active {
color: #666666; }
#TOC a:hover {
color: #000000; }
/* this is pale red getting red
#TOC a.emphasis:link {
color: #FF6666; }
#TOC a.emphasis:visited {
color: #FF6666; }
#TOC a.emphasis:active {
color: #FF6666; }
#TOC a.emphasis:hover {
color: #FF0000; }
*/
#TOC a.emphasis:link {
color: #666666; }
#TOC a.emphasis:visited {
color: #666666; }
#TOC a.emphasis:active {
color: #666666; }
#TOC a.emphasis:hover {
color: #000000; }
#TOC a.current:link {
color: #000000; }
#TOC a.current:visited {
color: #000000; }
#TOC a.current:active {
color: #000000; }
#TOC a.current:hover {
color: #000000; }
/* top bar */
#top h1 {
position: absolute;
top: 25px;
left: 20px;
margin: 0em;
padding: 0em;
border: 0em; }
.bar {
clear: both;
color: white;
background: #06435E
url("../image/fond3.png")
no-repeat
right
top;
text-align: left;
font-family: "Droid Sans", "sans-serif";
font-weight: bold;
padding: 0em;
margin: 0em;
border: 0em;
height: 134px;
vertical-align: bottom; }
#top a {
color: white;
/* pale underline for links */
text-decoration: none;
border-bottom: 2px solid #16536E; }
#top a:link {
color: white; }
#top a:visited {
color: white; }
#top a:active {
color: white; }
#top a:hover {
color: #CCCCCC; }
/* column container */
.colmask {
/* this fixes the IE7 overflow hidden bug */
/* and stops the layout jumping out of place */
position: relative;
clear: both;
float: left;
width: 100%;
/* this chops off any overhanging <div>s */
overflow: hidden; }
/* two-column left menu settings (col1 is right, col2 is left) */
.leftmenu .colright {
float: left;
width: 200%;
position: relative;
left: 11.5em; /* pad2_l + wd2 + pad2_r */
background: white; }
.leftmenu .col1wrap {
float: right;
width: 50%;
position: relative;
right: 12em; } /* pad2_l + wd2 + pad2_r */
.leftmenu .col1 {
margin: 0 1em /* pad2_r */
0 12em; /* pad2_l + wd2 + pad2_r + pad1_l */
position: relative;
right: 100%;
width: 45em;
max-width: 66%;
/* overflow: hidden; */
padding-left: 2em; }
.leftmenu .col2 {
float: left;
width: 10em; /* wd2 */
position: relative;
right: 11em; } /* wd2 + pad2_r */
/* table of contents */
#contents ul {
list-style: none; }
blockquote {
font-style: italic; }
code {
white-space: nowrap;
font-family: "Droid Sans Mono", "monospace"; }
tt {
font-family: "Droid Sans Mono", "monospace"; }
pre {
font-family: "Droid Sans Mono", "monospace";
margin-left: 1.5em; }
pre.example {
color: purple;
font-family: "Droid Sans Mono", "monospace";
margin-left: 1.5em; }
span.comment {
color: gray; }
span.important {
font-weight: bold; }
a {
color: #0000EF;
font-weight: bold;
/* no underline for links */
text-decoration: none; }
a:link {
color: #000080; }
a:visited {
color: #800080; }
a:active {
color: #FE0000; }
a:hover {
color: #1919AA; }
h1 {
margin-top: 6ex; }
h2 {
margin-top: 5ex; }
h3 {
margin-top: 4ex; }
h4 {
margin-top: 3ex; }
h5 {
margin-top: 3ex;
margin-bottom: 2ex;
font-size: 100%; }
h6 {
margin-top: 2ex;
margin-bottom: 1ex;
font-size: 100%;
font-weight: normal;
font-style: italic; }
h1.title {
text-align: center; }
h1.header {
margin-top: 1ex;
line-height: 200%; }
h2.author {
text-align: center; }
h3.date {
text-align: center; }
h3 + div.date {
margin-top: -3ex;
margin-bottom: 3ex; }
h4 + div.date {
margin-top: -3ex; }
/* images */
img.with-border {
padding: 0.5em; }
#TOC img.with-border {
padding: 0.3em; }
/* figures */
div.figure {
text-align: center;
margin-top: 5ex;
margin-bottom: 5ex; }
p.caption {
font-size: smaller; }
/* tables */
table {
border-collapse: collapse;
/* the next two lines center the table horizontally */
margin-left: auto;
margin-right: auto;
margin-top: 0;
margin-bottom: 0; }
table.vertical-space {
border-collapse: collapse;
/* the next two lines center the table horizontally */
margin-left: auto;
margin-right: auto;
margin-top: 4ex;
margin-bottom: 4ex; }
td {
padding-left: 0.8em;
padding-right: 0.8em; }
thead {
/* a horizontal rule between table head and body */
border-bottom: solid thin; }
th {
padding-left: 0.8em;
padding-right: 0.8em;
/* some vertical space before the horizontal rule */
padding-bottom: 1ex; }
tbody tr:first-child td {
/* some vertical space after the horizontal rule */
/* or at the beginning of the table */
padding-top: 1ex; }
tbody tr:last-child td {
/* some vertical space after the table */
padding-bottom: 1ex; }
/* if we have paragraphs in a table, */
/* suppress first and last vertical space */
table tr:first-of-type p:first-of-type {
margin-top: 0; }
table tr:last-of-type p:last-of-type {
margin-bottom: 0; }
dl {
margin-left: 1em; }
dt {
font-weight: bold; }
/* if we have paragraphs in definition lists, */
/* suppress the very first vertical space */
dd > p:first-child {
margin-top: 0; }
dd > p {
margin-bottom: 0; }
/* indented text */
div.quote {
margin-left: 1.5em; }
/* list for subsections */
li.tertiary {
font-size: smaller;
text-align: left;
margin-left: 2em; }
/* list with item headers */
li.emph p:first-child {
font-weight: bold; }
ol.algorithm {
font-family: "Droid Sans Mono", "monospace"; }
/* miscellaneous */
div.date {
color: #666666;
font-size: smaller; }
div.webmaintainer {
margin-top: 5ex;
font-style: italic;
font-size: 70%; }
div.updated {
margin-top: 5ex;
font-style: italic;
font-size: 70%; }
p {
margin-top: 1ex;
margin-bottom: 1ex; }
p.warning {
color: red; }
p.large {
font-size: larger; }
p.footnote {
font-size: smaller; }
p.note {
font-style: italic; }
/*
@media screen and (max-width: 40.5em) {
#TOC,
.colmask,
.leftmenu .colright,
.leftmenu .col1wrap,
.leftmenu .col1 {
float: none;
clear: none;
position: relative;
width: 100%;
left: 0em;
right: 100%;
max-width: 100%;
margin: 0em;
padding: 0em;
font-family: "sans-serif";
}
#TOC-bottom {
display: none;
}
#wrapper {
display: table;
line-height: 130%;
padding: 0em 1em;
}
#TOC {
display: table-header-group;
}
.colmask {
display: table-footer-group;
}
#TOC br {
display: none; }
}
*/
/* end of file */