html {
  /*background-image: url("background.png");
  background-attachment: fixed;*/
}

body.left {
  border-right: solid 6px black;
  background: #DF6B00;
  margin: 0px;
  padding: 0px;
  height: 100%;
}

body {
  background: white; /*#96BBD8;*/
  padding: 8px;
  margin: 0px;
  /*background-image: url("background.jpg");
  background-repeat: no-repeat;
  background-attachment: fixed;
  background-position: -184px 0px;*/
  max-width: 860px;
  font-family: sans;
}

body.none {
  background: white;
  padding: 8px;
  margin: 0px;
}

frameset {
  background: white /*#6e9bed;*/
  /*background-image: url("background.png");
  background-attachment: fixed;*/
}

frame {
  background: white; /*#6e9bed;*/
  /*background-image: url("background.png");
  background-attachment: fixed;*/
}

/*table.menu {
  background-image: url("background.png");
  background-attachment: fixed;
  background-repeat: no-repeat;
  background-position: top -200;
  border: none;
  border-width: 0px;
  padding: 0px;
}*/

.warning {
  background: #B0CEE6;
  border: none;
  padding: 8px;
}

table.none {
  background: none;
  border: none;
  border-width: 0px;
  padding: 0px;
}

table {
  background: white; /*#0090C0;*/
  border: solid;
  border-right: none;
  border-width: 1px 0px 1px 1px;
  border-color: #95C1E6;
  padding: 0px;
  /*color: white;*/
}

th {
  background: #BDD4E6; /*#006080;*/
  border-right: 1px solid #95C1E6;
  border-bottom: 1px solid #95C1E6;
  text-align: left;
}

td.menu {
  border: none;
  color: white;
}

td.none {
  border: none;
  color: black;
}

td.th {
  border-right: 1px solid #95C1E6;
  background: #BDD4E6; /*#006080;*/
}

td {
  border-right: 1px solid #95C1E6;
}

tr.dark {
  background: #CBDAE6; /*#0080B0;*/
}

p {
  padding-top: 0px;
  /*padding-left: 8px;*/
}

td p {
  padding-left: 0px;
}

pre { 
  background-color: #B0CEE6; 
  padding: 4px; 
  border: solid 2px white;
  color: black;
  /*background-color: #f0f0f0; 
  padding: 5px; 
  border: solid 1px;*/
 }
 
/*table pre { 
  background-color: #B0CEE6; 
  padding: 2px; 
 }*/

.space {
  padding: 4px;
}

.syntax {
  background: #f0f0f0;
  border: solid;
  border-width: 1px;
  border-color: #000000;
  padding: 0px;
}

.header {
  background: #B2E8FF;
  border: solid;
  border-width: 1px;
  border-color: #000000;
  width: 100%;
  padding: 2px;
}

a {
  padding-left: 1px;
  padding-right: 1px;
  text-shadow: 1px 1px 1px #808080;
  text-decoration: none;
}

a.image:hover {
  padding-left: 1px;
  padding-right: 1px;
  background: none;
  text-decoration: none;
  border: none;
}

.home {
  /*border-bottom: dotted white 4px;*/
  /*padding-bottom: 6px;*/
  margin-bottom: 8px;
}

.home a {
  padding: 0px;
  marging: 0px;
  font-weight: bold;
  font-size: x-large;
  color: #3398c3;
  /*text-shadow: 2px 2px 2px #FF7F00;*/
  letter-spacing: 2px;
}

a.home:hover {
  text-shadow: 2px 2px 2px #FF7F00;
  background: none;
}

/*a:before {
  content: url("link.png");
}*/

a.image:before {
  content: "";
}

a:hover {
  text-shadow: 1px 1px 1px #FF7F00;
  text-decoration: none;
}

.header a:hover {
  background: white;
  text-decoration: none;
}

.left a:link {
  color: white;
}

.left a:visited {
  color: white;
}

.left a:before {
  content: "";
}


/*.none a {
  background: none;
}

.none a:hover {
  background: #FFE0C0;
  text-decoration: none;
}*/

/*table a:hover {
  background: #C0C0E0;
  text-decoration: none;
}*/

a[name]:before {
  content: "";
}

.architecture-border {
  background: white;
  border-top: dotted black 6px;
  padding-top: 6px;
}

.license {
  border: solid 8px #B0CEE6;
  padding: 16px;
  margin: 8px;
  background: none;
  font-size: x-small;
}

H2 {
  letter-spacing: 2px;
  color: #606060;
}

H3 {
  letter-spacing: 1px;
  color: #606060;
}

.separator {
  height: 3px;
  background: black;
  margin: 8px -8px 8px -8px;
}

#last-version {
  background: #B0CEE6;
  float: right;
  margin-bottom: 16px;
  margin-left: 16px;
}

img {
  border: none;
}

img.screenshot {
  border: solid 4px #95C1E6;
  background: black;
  padding: 8px;
}

#top-menu {
  text-shadow: 1px 1px 2px #808080;
  padding: 8px;
  background: #3398c3;
  border-bottom: solid 6px black;
  margin-bottom: 8px;
}

#presentation {
  /*letter-spacing: 1px;*/
  text-shadow: 1px 1px 2px #808080;
  /*border: solid black 2px;*/
  /*background: #FFBF7F;*/
  padding: 0px 16px 16px 8px;
  border-bottom: dotted black 6px;
  margin-left: -8px;
  background: white;
  margin-top: 8px;
  /*border-right: dotted black 6px;*/
  /*border-radius: 0px 0px 12px;*/
}

.title {
  padding: 0px;
  font-weight: bold;
  font-size: xx-large;
  color: #3398c3;
  text-shadow: 2px 2px 2px #FF7F00;
  letter-spacing: 2px;
  margin-bottom: 16px;
  margin-top: 4px;
}

.download {
  float: right;
  margin: 16px 0px 32px 32px;
}

.download-gray {
  display: block;
  padding: 12px;
  margin-bottom: 4px;
  margin-left: 24px;
  margin-right: 24px;
  border: solid #808080 1px;
  -webkit-border-radius: 6px;
  -moz-border-radius: 6px;
  border-radius: 6px;
  color: #fff;
  background: #C0C0C0; /* old browsers */
  background: -moz-linear-gradient(top, #C0C0C0 0%, #808080 100%); /* firefox */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#C0C0C0), color-stop(100%,#808080)); /* webkit */
  background: linear-gradient(top, #C0C0C0 0%, #808080 100%);
  font-size: large;
  text-align: center;
}

.download-orange {
  display: block;
  padding: 12px;
  margin-bottom: 4px;
  margin-left: 24px;
  margin-right: 24px;
  border: solid #BF5C00 1px;
  /*-moz-box-shadow:    0 3px rgba(0,0,0,0.1), inset 0 -4px rgba(0,0,0,0.1);
  -webkit-box-shadow: 0 3px rgba(0,0,0,0.1), inset 0 -4px rgba(0,0,0,0.1);
  box-shadow:         0 3px rgba(0,0,0,0.1), inset 0 -4px rgba(0,0,0,0.1);*/
  -webkit-border-radius: 6px;
  -moz-border-radius: 6px;
  border-radius: 6px;
  color: #fff;
  /*overflow: visible;*/
  background: orange; /* old browsers */
  background: -moz-linear-gradient(top, orange 0%, #BF5C00 100%); /* firefox */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,orange), color-stop(100%,#BF5C00)); /* webkit */
  background: linear-gradient(top, orange 0%, #BF5C00 100%);
  /*-moz-transition:   box-shadow 0.2s ease-in-out;
  -webit-transition: box-shadow 0.2s ease-in-out;
  transition:        box-shadow 0.2s ease-in-out;*/
  font-size: large;
  text-align: center;
}

a.download-orange:hover {
  background: orange;
}

.download-blue {
  display: block;
  padding: 12px;
  margin-bottom: 4px;
  margin-left: 24px;
  margin-right: 24px;
  border: solid #21647F 1px;
  /*-moz-box-shadow:    0 3px rgba(0,0,0,0.1), inset 0 -4px rgba(0,0,0,0.1);
  -webkit-box-shadow: 0 3px rgba(0,0,0,0.1), inset 0 -4px rgba(0,0,0,0.1);
  box-shadow:         0 3px rgba(0,0,0,0.1), inset 0 -4px rgba(0,0,0,0.1);*/
  -webkit-border-radius: 6px;
  -moz-border-radius: 6px;
  border-radius: 6px;
  color: #fff;
  /*overflow: visible;*/
  background: #3398C3; /* old browsers */
  background: -moz-linear-gradient(top, #3398C3 0%, #21647F 100%); /* firefox */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#3398C3), color-stop(100%,#21647F)); /* webkit */
  background: linear-gradient(top, #3398C3 0%, #21647F 100%);
  /*-moz-transition:   box-shadow 0.2s ease-in-out;
  -webit-transition: box-shadow 0.2s ease-in-out;
  transition:        box-shadow 0.2s ease-in-out;*/
  font-size: large;
  text-align: center;
}

a.download-blue:hover {
  background: #3398C3; /* old browsers */
}

.release-notes {
  font-size: small;
  margin-left: 16px;
  margin-bottom: 12px;
}

#home-background {
  background-image: url('home.jpeg');
  background-repeat: no-repeat;
  background-position: bottom center;
  margin-left: -8px;
  margin-top: 8px;
  position: absolute;
  z-index: -1;
  width: 868px;
  height: 90%;
  bottom: 0px;
}

#formula {
  border: solid 2px black;
  }

#news {
  float: right;
  position: relative;
  width: 320px;
  height: 340px;
  margin: 32px 24px;
}

#news-frame {
  position: absolute;
  width: 100%;
  height: 100%;
  background: white;
  border: solid 6px black;
  /*-moz-box-shadow:    3px 3px rgba(0,0,0,0.2), inset 0 -4px rgba(0,0,0,0.2);
  -webkit-box-shadow: 3px  3px rgba(0,0,0,0.2), inset 0 -4px rgba(0,0,0,0.2);
  box-shadow:         3px 3px rgba(0,0,0,0.2), inset 0 -4px rgba(0,0,0,0.2);*/
}

#news-shadow {
  display: none;
  position: absolute;
  width: 100%;
  height: 100%;
  left: -12px;
  top: -12px;
  background: black;
  border: solid 18px black;
  border-radius: 16px;
  opacity: 0.3;
}