html, body {
/* to forbid horizontal scrolling
   however, on konqueror, any overflow directive seem to put a white background
*/
/*  overflow-x: hidden;*/
}
body {
  font-family: "Arial",monospace;
  background-color: rgb(59, 61, 93);  /*rgb(71, 73, 112);*/
  color: white;
}
div#vinci {
  position: fixed;
  right: 0;
  bottom: 0;
  background-image: url(img/background.png);
  background-position: right bottom;
  background-repeat: no-repeat;  
  height: 300px;
  width: 400px;
}
div#left {
  position: fixed;
  top: 0;
  left: 0;
  bottom: 0;
  right: 0;
  background-image: url(img/menu.png);
  background-repeat: no-repeat;
/* alternative to botom 0, right 0 
  width: 100%;
  min-height: 100%;*/
}
img#logo {
  border: none;
}
div#menu {
  padding-top: 10px;
  padding-left: 20px;
  font-family: Arial,sans-serif;
  font-size: 17px;
}
#menu a {
  text-decoration: none;
}
#menu a:link {
  color: rgb(0, 0, 40);
}
#menu a:visited {
  color: rgb(0, 0, 40);
}
#menu a:hover {
  color: rgb(255, 0, 0);
}
div#center {
  position: absolute;
  top: 0;
  left: 200px;
  right: 0px;
  bottom: 0;
/* This is necessary to go to the end of the page horizontally */
/*  height: 100%;*/
/*  overflow: auto;*/
}
#center a:link {
  color: rgb(255, 128, 0);
}
#center a:hover {
  color: rgb(255, 0, 0);
}
#center a:visited {
  color: rgb(255, 0, 0);
/*rgb(181, 128, 74);*/
}
h1 {
  font-weight: bold;
  font-size: xx-large;
  border-bottom-style: solid;
  margin-left: 20%;
  border-bottom-color: rgb(223, 128, 32);
/*#663366;*/
}
hr {
  margin-top: 40px;
  border-style: solid;
  border-color: rgb(223, 128, 32);
}
div#text {
  padding-right: 30px;
  text-align: justify;
/*  min-width: 25em;*/
}
div#code {
  font-size: small;
  text-align: left;
/*  float: left;*/
  width: 100%;
/*  min-width: 100ex; */
  margin-top: 10px;
  margin-bottom: 10px;
/*  background-color: white;*/
  overflow: auto;
}
div#src {
  font-family: "Courier New",monospace;
  float: left;
  border-style: dashed;
  min-width: 40%;
  padding: 0.5em;
/*  margin-left: 5%;*/
/* this*/
/*
  border-color: white;
  background-color: rgb(71, 73, 112);
*/
/* or this: 3 */
/*
  background-color: white;
  color: rgb(0, 0, 40);
*/
/* or this */
  background-color: rgb(200, 200, 250);
  color: rgb(0, 0, 40);
  border-color: rgb(255, 128, 0);
/*  overflow: auto;*/
/*  white-space: nowrap;*/
}
div#dst {
  font-family: "Courier New",monospace;
  float: right;
/*  left: 50%;*/
  min-width: 40%;
/*  white-space: nowrap;*/
  border-style: dashed;
  padding: 0.5em;
/*  margin-left: 5%;*/
/* or this */
  background-color: rgb(200, 230, 230);
  color: rgb(0, 0, 40);
  border-color: rgb(255, 128, 0);
}

/*
html, body {
  margin: 0;
  height: 100%;
  overflow: auto;
}
div#left {
  position: absolute;
  width: 200px;
}
div#vinci {
  position: absolute;
}
*/