/* Structure of the pages */

body {
    background-image:url('bg.jpg');
    background-size: 100%;
    background-attachment:fixed;
    margin-left:10px;
    font-size:12pt;
  }

div#nav {
position: fixed;
top: 0;
left: 0;
height:100%;
overflow: auto;
margin: 0;
padding: 1em;
width: 15%;
}


div#page_content {
margin-right: 0em;
margin-left: 0em;
width: 80%;
float: right;
right: 0em;
padding-left: 0em;
padding-right: 0em;
text-align:justify;
}


/* General style (links, images...) */

a:visited {
    color: red;
  }



img {
    border-style:none;
  }

/* Big boxes */

div.textbox {
    background: white;
     -moz-border-radius: 20px;
    -webkit-border-radius: 20px;
    -khtml-border-radius: 20px;
    border-radius: 20px;
    padding: 1em;
    margin: 2em;
}

div#text40 {
	width: 40%;
}

div#text90 {
	width: 90%;
	clear:both;
}

div.big_image {
margin: 2em;
width: 45%;
float: right;
padding-left: 0em;
padding-right: 0em;
}

img.ps {
width: 100%;
}