@charset "UTF-8";
@import "https://fonts.googleapis.com/css?family=Noto+Sans|Noto+Serif";
html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
  margin: 0;
  padding: 0;
  border: 0;
  font: inherit;
  font-size: 100%;
  vertical-align: baseline; }

html {
  line-height: 1; }

ol, ul {
  list-style: none; }

table {
  border-collapse: collapse;
  border-spacing: 0; }

caption, th, td {
  text-align: left;
  font-weight: normal;
  vertical-align: middle; }

q, blockquote {
  quotes: none; }

q:before, q:after, blockquote:before, blockquote:after {
  content: "";
  content: none; }

a img {
  border: none; }

article, aside, details, figcaption, figure, footer, header, hgroup, main, menu, nav, section, summary {
  display: block; }

@font-face {
  font-family: 'Inconsolata';
  font-style: normal;
  font-weight: normal;
  src: local("Inconsolata"), url("//themes.googleusercontent.com/font?kit=BjAYBlHtW3CJxDcjzrnZCJ0EAVxt0G0biEntp43Qt6E") format("truetype"); }
@font-face {
  font-family: 'Lato';
  font-style: normal;
  font-weight: 400;
  src: local("Lato Regular"), local("Lato-Regular"), url(//themes.googleusercontent.com/static/fonts/lato/v6/v0SdcGFAl2aezM9Vq_aFTQ.ttf) format("truetype"); }
/* Generated by Font Squirrel (http://www.fontsquirrel.com) on December 7, 2010 */
@font-face {
  font-family: 'Delicious';
  src: url("/fonts/Delicious/delicious-bold-webfont.eot");
  src: local("☺"), url("/fonts/Delicious/delicious-bold-webfont.woff") format("woff"), url("/fonts/Delicious/delicious-bold-webfont.ttf") format("truetype"), url("/fonts/Delicious/delicious-bold-webfont.svg#webfontdrGggnuR") format("svg");
  font-weight: bold;
  font-style: normal; }
@font-face {
  font-family: 'Delicious';
  src: url("/fonts/Delicious/delicious-bolditalic-webfont.eot");
  src: local("☺"), url("/fonts/Delicious/delicious-bolditalic-webfont.woff") format("woff"), url("/fonts/Delicious/delicious-bolditalic-webfont.ttf") format("truetype"), url("/fonts/Delicious/delicious-bolditalic-webfont.svg#webfontNiJYDdAz") format("svg");
  font-weight: bold;
  font-style: italic; }
@font-face {
  font-family: 'Delicious';
  src: url("/fonts/Delicious/delicious-heavy-webfont.eot");
  src: local("☺"), url("/fonts/Delicious/delicious-heavy-webfont.woff") format("woff"), url("/fonts/Delicious/delicious-heavy-webfont.ttf") format("truetype"), url("/fonts/Delicious/delicious-heavy-webfont.svg#webfontaw5oFOOo") format("svg");
  font-weight: bolder;
  font-style: normal; }
@font-face {
  font-family: 'Delicious';
  src: url("/fonts/Delicious/delicious-italic-webfont.eot");
  src: local("☺"), url("/fonts/Delicious/delicious-italic-webfont.woff") format("woff"), url("/fonts/Delicious/delicious-italic-webfont.ttf") format("truetype"), url("/fonts/Delicious/delicious-italic-webfont.svg#webfontoVebre22") format("svg");
  font-weight: normal;
  font-style: italic; }
@font-face {
  font-family: 'Delicious';
  src: url("/fonts/Delicious/delicious-roman-webfont.eot");
  src: local("☺"), url("/fonts/Delicious/delicious-roman-webfont.woff") format("woff"), url("/fonts/Delicious/delicious-roman-webfont.ttf") format("truetype"), url("/fonts/Delicious/delicious-roman-webfont.svg#webfontDuTiJYrY") format("svg");
  font-weight: normal;
  font-style: normal; }
@font-face {
  font-family: 'Delicious';
  src: url("/fonts/Delicious/delicious-smallcaps-webfont.eot");
  src: local("☺"), url("/fonts/Delicious/delicious-smallcaps-webfont.woff") format("woff"), url("/fonts/Delicious/delicious-smallcaps-webfont.ttf") format("truetype"), url("/fonts/Delicious/delicious-smallcaps-webfont.svg#webfontPt7Ahw3r") format("svg");
  font-weight: normal;
  font-style: normal;
  font-variant: small-caps; }
@font-face {
  font-family: 'Atkinson Hyperlegible';
  src: url("/fonts/Atkinson-Hyperlegible/Atkinson-Hyperlegible-Bold-102.eot");
  src: local("☺"), url("/fonts/Atkinson-Hyperlegible/Atkinson-Hyperlegible-Bold-102.woff") format("woff"), url("/fonts/Delicious/Atkinson-Hyperlegible-Bold-102.ttf") format("truetype"), url("/fonts/Delicious/Atkinson-Hyperlegible-Bold-102.svg#webfontdrGggnuR") format("svg"), url("/fonts/Delicious/Atkinson-Hyperlegible-Bold-102.woff2") format("woff2");
  font-weight: bold;
  font-style: normal; }
@font-face {
  font-family: 'Atkinson Hyperlegible';
  src: url("/fonts/Atkinson-Hyperlegible/Atkinson-Hyperlegible-BoldItalic-102.eot");
  src: local("☺"), url("/fonts/Atkinson-Hyperlegible/Atkinson-Hyperlegible-BoldItalic-102.woff") format("woff"), url("/fonts/Delicious/Atkinson-Hyperlegible-BoldItalic-102.ttf") format("truetype"), url("/fonts/Delicious/Atkinson-Hyperlegible-BoldItalic-102.svg#webfontdrGggnuR") format("svg"), url("/fonts/Delicious/Atkinson-Hyperlegible-BoldItalic-102.woff2") format("woff2");
  font-weight: bold;
  font-style: italic; }
@font-face {
  font-family: 'Atkinson Hyperlegible';
  src: url("/fonts/Atkinson-Hyperlegible/Atkinson-Hyperlegible-Italic-102.eot");
  src: local("☺"), url("/fonts/Atkinson-Hyperlegible/Atkinson-Hyperlegible-Italic-102.woff") format("woff"), url("/fonts/Delicious/Atkinson-Hyperlegible-Italic-102.ttf") format("truetype"), url("/fonts/Delicious/Atkinson-Hyperlegible-Italic-102.svg#webfontdrGggnuR") format("svg"), url("/fonts/Delicious/Atkinson-Hyperlegible-Italic-102.woff2") format("woff2");
  font-weight: normal;
  font-style: italic; }
@font-face {
  font-family: 'Atkinson Hyperlegible';
  src: url("/fonts/Atkinson-Hyperlegible/Atkinson-Hyperlegible-Regular-102.eot");
  src: local("☺"), url("/fonts/Atkinson-Hyperlegible/Atkinson-Hyperlegible-Regular-102.woff") format("woff"), url("/fonts/Delicious/Atkinson-Hyperlegible-Regular-102.ttf") format("truetype"), url("/fonts/Delicious/Atkinson-Hyperlegible-Regular-102.svg#webfontdrGggnuR") format("svg"), url("/fonts/Delicious/Atkinson-Hyperlegible-Regular-102.woff2") format("woff2");
  font-weight: normal;
  font-style: normal; }
.highlight {
  background: #ffffff; }

.highlight span.c {
  color: #999988;
  font-style: italic; }

/* Comment */
.highlight span.err {
  color: #a61717;
  background-color: #e3d2d2; }

/* Error */
.highlight span.k {
  font-weight: bold; }

/* Keyword */
.highlight span.o {
  font-weight: bold; }

/* Operator */
.highlight span.cm {
  color: #777777;
  font-style: italic; }

/* Comment.Multiline */
.highlight span.cp {
  color: #333333;
  font-weight: bold; }

/* Comment.Preproc */
.highlight span.c1 {
  color: #777777;
  font-style: italic; }

/* Comment.Single */
.highlight span.cs {
  color: #777777;
  font-weight: bold;
  font-style: italic; }

/* Comment.Special */
.highlight span.gd {
  color: #000000;
  background-color: #ffdddd; }

/* Generic.Deleted */
.highlight span.gd .x {
  color: #000000;
  background-color: #ffaaaa; }

/* Generic.Deleted.Specific */
.highlight span.ge {
  font-style: italic; }

/* Generic.Emph */
.highlight span.gr {
  color: #aa0000; }

/* Generic.Error */
.highlight span.gh {
  color: #999999; }

/* Generic.Heading */
.highlight span.gi {
  color: #000000;
  background-color: #ddffdd; }

/* Generic.Inserted */
.highlight span.gi .x {
  color: #000000;
  background-color: #aaffaa; }

/* Generic.Inserted.Specific */
.highlight span.go {
  color: #888888; }

/* Generic.Output */
.highlight span.gp {
  color: #555555; }

/* Generic.Prompt */
.highlight span.gs {
  font-weight: bold; }

/* Generic.Strong */
.highlight span.gu {
  color: #aaaaaa; }

/* Generic.Subheading */
.highlight span.gt {
  color: #aa0000; }

/* Generic.Traceback */
.highlight span.kc {
  font-weight: bold; }

/* Keyword.Constant */
.highlight span.kd {
  font-weight: bold; }

/* Keyword.Declaration */
.highlight span.kp {
  font-weight: bold; }

/* Keyword.Pseudo */
.highlight span.kr {
  font-weight: bold; }

/* Keyword.Reserved */
.highlight span.kt {
  color: #445588;
  font-weight: bold; }

/* Keyword.Type */
.highlight span.m {
  color: #009999; }

/* Literal.Number */
.highlight span.s {
  color: #d14; }

/* Literal.String */
.highlight span.na {
  color: #008080; }

/* Name.Attribute */
.highlight span.nb {
  color: #0086B3; }

/* Name.Builtin */
.highlight span.nc {
  color: #445588;
  font-weight: bold; }

/* Name.Class */
.highlight span.no {
  color: #008080; }

/* Name.Constant */
.highlight span.ni {
  color: #800080; }

/* Name.Entity */
.highlight span.ne {
  color: #990000;
  font-weight: bold; }

/* Name.Exception */
.highlight span.nf {
  color: #990000;
  font-weight: bold; }

/* Name.Function */
.highlight span.nn {
  color: #555555; }

/* Name.Namespace */
.highlight span.nt {
  color: #000080; }

/* Name.Tag */
.highlight span.nv {
  color: #008080; }

/* Name.Variable */
.highlight span.ow {
  font-weight: bold; }

/* Operator.Word */
.highlight span.w {
  color: #bbbbbb; }

/* Text.Whitespace */
.highlight span.mf {
  color: #009999; }

/* Literal.Number.Float */
.highlight span.mh {
  color: #009999; }

/* Literal.Number.Hex */
.highlight span.mi {
  color: #009999; }

/* Literal.Number.Integer */
.highlight span.mo {
  color: #009999; }

/* Literal.Number.Oct */
.highlight span.sb {
  color: #d14; }

/* Literal.String.Backtick */
.highlight span.sc {
  color: #d14; }

/* Literal.String.Char */
.highlight span.sd {
  color: #d14; }

/* Literal.String.Doc */
.highlight span.s2 {
  color: #d14; }

/* Literal.String.Double */
.highlight span.se {
  color: #d14; }

/* Literal.String.Escape */
.highlight span.sh {
  color: #d14; }

/* Literal.String.Heredoc */
.highlight span.si {
  color: #d14; }

/* Literal.String.Interpol */
.highlight span.sx {
  color: #d14; }

/* Literal.String.Other */
.highlight span.sr {
  color: #009926; }

/* Literal.String.Regex */
.highlight span.s1 {
  color: #d14; }

/* Literal.String.Single */
.highlight span.ss {
  color: #990073; }

/* Literal.String.Symbol */
.highlight span.bp {
  color: #999999; }

/* Name.Builtin.Pseudo */
.highlight span.vc {
  color: #008080; }

/* Name.Variable.Class */
.highlight span.vg {
  color: #008080; }

/* Name.Variable.Global */
.highlight span.vi {
  color: #008080; }

/* Name.Variable.Instance */
.highlight span.il {
  color: #009999; }

/* Literal.Number.Integer.Long */
/* Generated by pandoc. */
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre {
  margin: 0;
  padding: 0;
  border: 0;
  vertical-align: baseline;
  border: none; }

td.lineNumbers {
  border-right: 1px solid #AAAAAA;
  text-align: right;
  color: #AAAAAA;
  padding-right: 5px;
  padding-left: 5px; }

td.sourceCode {
  padding-left: 5px; }

.sourceCode span.kw {
  color: #007020;
  font-weight: bold; }

.sourceCode span.dt {
  color: #902000; }

.sourceCode span.dv {
  color: #40a070; }

.sourceCode span.bn {
  color: #40a070; }

.sourceCode span.fl {
  color: #40a070; }

.sourceCode span.ch {
  color: #4070a0; }

.sourceCode span.st {
  color: #4070a0; }

.sourceCode span.co {
  color: #60a0b0;
  font-style: italic; }

.sourceCode span.ot {
  color: #007020; }

.sourceCode span.al {
  color: red;
  font-weight: bold; }

.sourceCode span.fu {
  color: #06287e; }

.sourceCode span.er {
  color: red;
  font-weight: bold; }

html {
  background: white;
  text-align: justify;
  line-height: 130%;
  font-family: "Atkinson Hyperlegible", "Noto Sans", Lato, Helvetica, Arial, sans-serif;
  color: black; }

#page-wrap {
  max-width: 960px;
  margin: 2em auto 2em auto; }

#page-wrap > header {
  background: #f0e0d0;
  padding: 1.5em;
  margin-bottom: 1em;
  text-align: center; }
  #page-wrap > header nav > ul li {
    display: inline-block;
    width: 10em;
    background: #e0d0d0;
    padding: .5em;
    font-size: 120%;
    margin: .1em; }
    #page-wrap > header nav > ul li a {
      text-decoration: none;
      color: inherit; }
      #page-wrap > header nav > ul li a:active, #page-wrap > header nav > ul li a:focus {
        outline: none; }

h1,
h2,
h3,
h4 {
  font-family: "Noto Serif", Georgia, "Times New Roman", serif;
  line-height: 130%; }

h1 {
  font-size: 200%;
  margin-bottom: .5em; }

h2 {
  font-size: 150%;
  margin: .9em 0 .9em 0; }

h3 {
  font-size: 125%;
  margin: .9em 0 .9em 0; }

h4 {
  font-size: 110%;
  margin: .9em 0 .9em 0; }

p {
  margin: 1em 0 1em 0; }

code,
.sourceCode {
  font-family: "Inconsolata", "Courier New", Courier, mono; }

pre,
table.sourceCode {
  margin-top: 1em;
  margin-bottom: 1em;
  background: #f9f9f9;
  width: 100%;
  border: solid 1px;
  padding: .3em .5em .3em .5em; }

blockquote {
  margin-left: 2em;
  padding-left: 1em;
  margin-right: 3em;
  border-left: solid 1px black;
  font-style: italic; }

#pageicon,
#sitelogo {
  text-align: center; }

#sitelogo a:hover {
  background: none; }

#authorship,
#tagdescr,
section.hfeed > address {
  text-align: center;
  font-weight: bold;
  font-style: italic; }

article header.multiple {
  border: solid 1px;
  width: 100%;
  padding-left: 6px;
  padding-top: 3px;
  padding-bottom: 3px;
  margin: 0;
  background: #e0e0e0; }
  article header.multiple h2 {
    padding: 0.2em;
    margin: 0; }

.post h2 > a {
  text-decoration: none; }

#footer {
  clear: both;
  margin-top: 5px;
  text-align: center;
  font-family: helvetica;
  font-size: small; }
  #footer ul {
    list-style-image: none;
    list-style-type: none; }
  #footer hr {
    margin-top: 1.5em;
    width: 90%; }

ol#posts-lists {
  margin: 0;
  padding: 0; }
  ol#posts-lists > li {
    margin: 0;
    padding: 0;
    list-style-type: none; }

article footer address {
  display: inline; }

a {
  color: #225555;
  text-decoration: underline; }
  a img {
    border: none; }
  a[href^="mailto:"] {
    background: url(/pictures/email-link.png) no-repeat right;
    padding-right: 17px; }
  a.noicon {
    background-image: none;
    padding-right: 0; }
  a[lang="fr"] {
    background: url(/wwwicons/fr-16.png) no-repeat right;
    padding-right: 22px; }
  a[lang="en"] {
    background: url(/wwwicons/en-16.png) no-repeat right;
    padding-right: 22px; }
  a.langleft[lang="fr"] {
    background: url(/wwwicons/fr-16.png) no-repeat left;
    padding-left: 22px;
    padding-right: 0; }
  a.langleft[lang="en"] {
    background: url(/wwwicons/en-16.png) no-repeat left;
    padding-left: 22px;
    padding-right: 0; }

article footer,
.postinfo,
.tip {
  font-size: 90%;
  font-style: italic;
  text-align: right; }

.postlink {
  display: block;
  height: 4em;
  padding-right: 2%;
  padding-left: 2%;
  float: left;
  text-align: center; }
  .postlink .postinfo {
    padding-left: 22px; }

#twitter_div > ul#twitter_update_list {
  margin: 0;
  padding-left: 0;
  list-style-type: none; }
  #twitter_div > ul#twitter_update_list a[href^="http://twitter.com/"],
  #twitter_div > ul#twitter_update_list a[href^="https://twitter.com/"] {
    background: none;
    padding-right: 0; }
  #twitter_div > ul#twitter_update_list > li {
    margin-bottom: 0.5em;
    padding-top: 0.25em;
    text-align: left; }
  #twitter_div > ul#twitter_update_list > li:before {
    content: "⇒ "; }

#content ul {
  list-style: "▶  " outside;
  margin-left: 2em; }

#content ul ul {
  list-style: disc outside; }

#content ul li {
  margin: .3em 0 .3em 0; }

ul.address {
  border-left: solid 2px;
  margin-left: 1.5em;
  padding-left: .5em;
  list-style-type: none !important; }

.details {
  font-style: italic; }

#alternatelang {
  position: absolute;
  top: 5px;
  right: 5px; }

/* Legacy, to fix later */
.project table {
  border: solid 1px;
  padding: 5px; }
  .project table th {
    text-align: right;
    vertical-align: middle;
    padding-right: 10px; }
  .project table td {
    vertical-align: middle; }

.quote {
  font-weight: bold;
  margin-left: 3em;
  margin-right: 3em; }

.invisible {
  font-size: 1%;
  color: white; }

.forthcomment {
  color: red; }

#arse .question {
  background: #ffdddd;
  padding: 1em; }
#arse .solution {
  background: #ddffdd;
  padding: 1em;
  border-top: 1px solid black;
  margin-bottom: 1em; }
#arse .versquestion,
#arse .verssolution {
  font-size: 80%;
  text-align: right;
  font-style: italic;
  padding-bottom: 0.4em; }

.smallquote {
  margin-right: 0;
  padding-right: 0;
  border: none;
  text-align: right;
  font-size: 90%; }

TABLE.hardware {
  border: solid black 1px; }
  TABLE.hardware TD,
  TABLE.hardware TH {
    border: solid black 1px; }

.bar {
  font-size: 90%;
  float: right;
  padding: 0.5em;
  width: 210px; }
  .bar nav > ul {
    margin: 0px;
    padding: 0px 1em; }
  .bar h2 {
    font-size: 110%;
    font-weight: bold;
    background: none;
    border: none;
    padding: 0;
    margin: 0 0 0.25em 0; }
  .bar hr {
    width: 80%;
    margin-top: 1em;
    margin-bottom: 1em; }

#sidebar {
  margin-top: 10px; }

#content {
  margin: 0 1em 0 1em; }
  #content h1 {
    margin-left: auto;
    margin-right: auto; }

#title {
  text-align: center; }
  #title h2 {
    text-align: left; }

article {
  font-family: "Atkinson Hyperlegible", "Noto Sans", Lato, Helvetica, Arial, sans-serif;
  font-size: 16px;
  margin: 3.5em 0 1em 0; }
  article h1 {
    font-size: 180%;
    text-align: center; }
  article h2 {
    margin-left: 0;
    margin-right: 0; }
  article figure {
    border: solid 1px #a0a0a0;
    padding: 0 0 0.1em;
    margin: 0 0 0.5em 0;
    text-align: center;
    font-size: 14px;
    background: #f5f5f5; }
    article figure img {
      border: none;
      text-align: center; }
    article figure figcaption {
      font-style: italic;
      width: inherit;
      line-height: 1em;
      padding: .3em; }

.multiple h2 {
  text-align: left; }

#latestposts {
  text-align: left; }

.floatleft {
  float: left;
  margin: 0 1.5em 0 0; }

.floatright {
  float: right;
  margin: 0 0 0 1.5em; }

.centered {
  text-align: center; }

#coordinates .floatleft {
  width: 48%; }
#coordinates .floatright {
  width: 48%; }

.spacer {
  clear: both; }

#page-navigation {
  font-size: 80%;
  display: block;
  padding: 1px; }
  #page-navigation .floatleft a:before {
    content: "« "; }
  #page-navigation .floatright a:after {
    content: " »"; }

#comments {
  margin-top: 1.5em; }

table.condorcet {
  margin-left: auto;
  margin-right: auto; }
  table.condorcet th,
  table.condorcet td {
    border: solid 1px;
    margin: 0;
    padding: 0.3em; }

.plusone {
  padding-bottom: 0.1em;
  display: block;
  float: left; }

.badge {
  vertical-align: middle; }

div.cloud {
  background: #d0d0d0;
  padding: 1em;
  margin: 1em 0 1em 0; }