a:link { 
  color : #0000FF
}

soon {
    color : #0000FF
}

a:visited { 
  color : #800080
}

a:hover {
  color: #ff3333;
}

body {	
  font-family: sans-serif;
  margin-left: auto;
  margin-right: auto;
  padding-bottom: 100px;
  width: 70em;
}

div {
  margin-top: 20px;
  margin-left: 25px;
  margin-right: 50px;
  text-align: justify;
}

ul {
  list-style-type: disc
}

pre {
  color: red; font-weight: bold;
  font-size : 120%;
  white-space: pre; font-family: monospace;
}

tt {
  color: red; font-weight: bold; font-size : 120%;	
}

img.photo {
    width: 100%;
}

div.figure {
  text-align: center;
  font-size: smaller;
  text-indent: 0;
}


ul.language {
    list-style-type: none;
    padding: 0;
    margin: 0;
    position: absolute;
    background: #DDDDFF;
    left: 1em;
    width: 8em
}

ul.language li {
    margin: 0.5em 0;
    margin-left: 0.3em;
    padding: 0.3em
}

ul.language li.ici {
    background: #FFFFED;
}

ul.language a {
    text-decoration: none;
    font-family: Helvetica, sans-serif;
    color: DarkSlateGray
}

ul.navbar {
    list-style-type: none;
    padding: 0;
    margin: 0;
  /*  background: #EBC879;
    position: absolute;
   top: 6em;*/
/*    width: 8em;*/
}

ul.navbar li {
    float: left;
    margin: 0.5em 0;
    margin-left: 0.3em;
    padding: 0.3em;
    width: 15%;
    border: 2px solid #112B11;
}
ul.navbar li.ici {
    background: #EBC879;/*B4C2D9;*/
}

ul.navbar a {
    display: block;
    text-decoration: none;
    font-family: Helvetica, sans-serif;
    color: DarkSlateGray;
    text-align: center;
}


ul.publis li {
    padding: 0.3em
}