body {margin: .5em .7em .5em 1em; color:#333333;  background-color:#fDfDfD;
      font-family: "Times", "Times New Roman", serif; font-size:16pt; line-height:1.3;}
#left {float:left; width:49%; border:0; padding-botom:0; padding-right:1em}
#right {float:left; width:49%; border:0; padding-botom:0}
#contrib { -webkit-columns: 10em auto; /* Chrome, Safari, Opera */
  -moz-columns: 10em auto; /* Firefox */
  columns: 10em auto;}
a {text-decoration:none}
ul {list-style-type:none; padding-left:1em; margin-top:0; }
li {text-indent: -1em;  list-style-position: inside;}
input {font-family: "Times New Roman", "Times", serif; font-size:19px; border:1px solid grey; padding:.3em }
.theme {font-weight:bold}
.name_input {display:none}
.illustration-left {float:left; padding: .4em 1em .5em .5em}
.illustration-right {float:right; padding: .4em .5em .5em 1em}
.nested {padding-left:.6em}
.index {-webkit-columns: 20em auto; /* Chrome, Safari, Opera */
  -moz-columns: 20em auto; /* Firefox */
  columns: 20em auto;
  -webkit-column-gap: 3em; /* Chrome, Safari, Opera */
  -moz-column-gap: 3em; /* Firefox */
  column-gap: 3em;
  }
    @font-face {
  font-family: 'icomoon';
  src:  url('fonts/icomoon.eot?n82j0c');
  src:  url('fonts/icomoon.eot?n82j0c#iefix') format('embedded-opentype'),
    url('fonts/icomoon.ttf?n82j0c') format('truetype'),
    url('fonts/icomoon.woff?n82j0c') format('woff'),
    url('fonts/icomoon.svg?n82j0c#icomoon') format('svg');
  font-weight: normal;
  font-style: normal;
}
[class^="icon-"], [class*=" icon-"] {
  /* use !important to prevent issues with browser extensions that change fonts */
  font-family: 'icomoon' !important;
  speak: none;
  font-style: normal;
  font-weight: normal;
  font-variant: normal;
  text-transform: none;
  line-height: 1;
  /* Better Font Rendering =========== */
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}
a.download:after {
   font-family: "icomoon";
   font-size:90%;
   content: "\e900";
   display:inline;
   position:relative;
   top:1px;
}