a:link {
  color:rgb(0,0,255);
  text-decoration:none;
}

a:visited {
  color:rgb(128,64,255);
  text-decoration:none;
}

a:hover {
  color:rgb(0,128,255);
  text-decoration:underline;
}

a[name] {
  color:inherit;
  text-decoration:none;
}

a.english {
  padding-right:24px;
  background:url(/graphics/flag_en.png) no-repeat center right;
}

a.deutsch {
  padding-right:23px;
  background:url(/graphics/flag_de.png) no-repeat center right;
}

a.francaise {
  padding-right:23px;
  background:url(/graphics/flag_fr.png) no-repeat center right;
}

body {
  color:rgb(0,0,0);
  background-color:rgb(255,255,245);
  line-height:110%;
  font:normal 100% 'Times New Roman',Times,serif;
}

/* top menu start */
div.menu {
  position:absolute;
  top:0px;
  left:0px;
  width:100%;
  text-align:center;
  background-color:rgb(50,60,255);
  padding:2px 0px 1px 0px;
  border-bottom:1px solid rgb(0,0,0);
}

a.entry {
  font:normal 90% Helvetica,Arial,sans-serif;
  padding:1px 2px;
}

.spacer {
  color:rgb(255,255,255);
}

.entry {
  text-decoration:none;
}

.entry:link,
.entry:visited {
  color:rgb(255,255,255);
}

.entry:hover {
  color:rgb(0,0,0);
  background-color:rgb(235,235,255);
  text-decoration:none;
}
/* top menu end */


.title {
  font-weight:bold;
  font-family:Helvetica,Arial,sans-serif;
}

h2.title {
  margin-top:3ex;
  font-size:160%;
}

h3.title {
  margin-top:3ex;
  margin-bottom:1.5ex;
  font-size:130%;
}

p {
  text-align:justify;
}

/* "back" link start */
a.back {
  font:normal 85% Helvetica,Arial,sans-serif;
  text-decoration:none;
  padding-right:10px;
  background:url(/graphics/up.png) no-repeat center right;
}

a.back:link,
a.back:visited {
  color:rgb(0,0,255);
}
/* "back" link end */


ul.expl {
  text-align:justify;
  margin-left:3%;
  margin-right:3%;
  padding:5px 15px 7px 25px;
  background-color:rgb(255,255,175);
  border:solid 2px rgb(255,175,110);
}

ul.soft {
  text-align:justify;
  margin-left:3%;
  margin-right:3%;
  padding:5px 15px 7px 25px;
  background-color:rgb(255,225,175);
  border:solid 2px rgb(250,80,80);
}


/* table start */

table {
  border:ridge 3px rgb(0,0,0);
  border-collapse:collapse;
  text-align:left;
}

th {
  background-color:rgb(255,225,175);
  text-align:center;
  padding:2px;
}

td {
  border:ridge 2px rgb(0,0,0);
  background-color:rgb(255,255,175);
  padding:2px;
}

/* td.left {
  background-color:rgb(250,225,175);
}

td.right {
  background-color:rgb(250,245,175);
} */

/* table end */