@font-face
{
  font-family: anonymous;
  src: url(files/anonymous.ttf);
}

body {
  font-family: anonymous;
}

h1 {
  font-size:14pt;
  font-weight:bold;
  border-bottom-style:dashed;
  border-top-style:dashed;
  border-width:1px;
  border-color: #bababa;
}

h2 {

  font-size:14pt;
  font-weight:bold;
}

.code {
  background-color: #ececec;
}
.nav_link {
  color: white;
  text-decoration: none;
}

.nav_link:hover {
  color: red;
}

a {
  text:blue;
  text-decoration: none;
}

img {
  -webkit-border-top-left-radius: 10px;
  -webkit-border-top-right-radius: 10px;
  -webkit-border-bottom-right-radius: 10px;
  -webkit-border-bottom-left-radius: 10px;
  -moz-border-radius-bottomright: 10px;
  -moz-border-radius-bottomleft: 10px;
  border-bottom-right-radius: 10px;
  border-bottom-left-radius: 10px;
}
a:hover {
  text:red;
  text-decoration: none;
}
.window {
  font-size: 12pt;
  -webkit-border-bottom-right-radius: 20px;
  -webkit-border-bottom-left-radius: 20px;
  -moz-border-radius-bottomright: 20px;
  -moz-border-radius-bottomleft: 20px;
  border-bottom-right-radius: 20px;
  border-bottom-left-radius: 20px;
  background-color: white;
  margin-left: auto;
  margin-right: auto;
  width: 800px;
  box-shadow: 0px 0px 16px #777;  
  padding-top:10px;
  padding-bottom:10px;
  padding-right:25px;
  padding-left:25px;
  background-image: url(back.png);
  background-repeat: repeat;
  text-align: justify;
}

.nav {
  font-size: 14pt;
  font-weight:bold;
  -webkit-border-top-left-radius: 20px;
  -webkit-border-top-right-radius: 20px;
  -moz-border-radius-topleft: 20px;
  -moz-border-radius-topright: 20px;
  border-top-left-radius: 20px;
  border-top-right-radius: 20px;
  margin-left: auto;
  margin-right: auto;
  margin-top: 40px;
  width: 800px;
  box-shadow: 0px 0px 16px #777; 
  padding-top:20px;
  padding-bottom:20px;
  padding-right:25px;
  padding-left:25px;
  color: white;
  text-align: right;
  text-shadow: black 2px 2px 5px;

  background: #65bdd8;

  background: -moz-linear-gradient(top,  #65bdd8 0%, #063799 100%);

  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#65bdd8), color-stop(100%,#063799));

  background: -webkit-linear-gradient(top,  #65bdd8 0%,#063799 100%);

  background: -o-linear-gradient(top,  #65bdd8 0%,#063799 100%);

  background: -ms-linear-gradient(top,  #65bdd8 0%,#063799 100%);

  background: linear-gradient(top,  #65bdd8 0%,#063799 100%);

  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#65bdd8', endColorstr='#063799',GradientType=0 );


}