h1 {
  text-align: center;
}

code {
  font-family: Courier;
  font-size: 0.75em;
}

a:link {
  color: #000099;
}
a:visited {
  color: #330099;
}
a:hover {
  color: #5555FF;
}

.float-left-icon { float: left; }
.float-left { float: left; }
.float-right { float: right; }


.forward a {
 float: right;
 height: 48px;
 padding-top: 12px;
 padding-left: 50px;
 background-image: url(assets/forward.png);
 background-repeat: no-repeat;

}
.forward a:hover {
 background-image: url(assets/forward-hover.png);
 background-repeat: no-repeat;
}

.back a {
 float: left;
 height: 48px;
 padding-top: 12px;
 padding-left: 50px;
 background-image: url(assets/back.png);
 background-repeat: no-repeat;

}
.back a:hover {
 background-image: url(assets/back-hover.png);
 background-repeat: no-repeat;
}

.forward :hover {
  float: right;
  background-image: url(assets/forward-hover.png);
}

body {
  font-size: 12pt;
  width: 800px;
  background-color: rgb(204, 204, 255);
}

.mainpage {
}

.pagebody {
  border: 1px solid rgb(0, 0, 0);
  padding: 10px;
  margin-left: 5px;
  margin-top: 10px;
  width: 580px;

  background-image: url(assets/background.jpg);
}

.navbar {
  border: 1px solid rgb(0, 0, 0);
  padding: 0px;

  display: inline;
  float: right;
  width: 180px;

  margin-right: 0px;

  background-image: url(assets/background.jpg);
  background-repeat: no-repeat;
}

.screenshots {
  font-size: 12pt;
  width: 1024px;
#  background-color: rgb(204, 204, 255);
#  border: 1px solid rgb(0, 0, 0);
#  padding: 10px;
#  margin-left: 5px;
#  margin-top: 10px;
#  width: 800px;
#  background-image: url(assets/background.jpg);
}


.abstract {
  font-size: 0.75em;
  font-style: italic;
  border: 1px solid rgb(0, 0, 0); 
  width: 500px;
  margin-left: 40px;
  padding: 5px
}