body {
  font-family: Sans-Serif;
}
div.container
{
max-width:65em;
padding:0em;
margin:0em;
margin-left: auto;
margin-right: auto;
border-color:black;
background-color:#dbeff3;
}
div.abstract
{
margin-left:4em;
margin-right:2em;
text-align: justify;
}
ul
{
padding:0em;
margin-left:0em;
margin-right:0em
}
li
{
margin-top:1em;
margin-bottom:1.5em;
}
ul li
{
list-style-type:none;
}
ul ul
{
margin-left:2em;
}
ul ul li
{
display:inline;
}
li.address
{
margin-right:0em;
margin-top:0em;
margin-bottom:0.5em;
}
ul.address
{
margin-left:1em;
padding:0em;
}
br
{
line-height: 8px;
}


div.prop_100
{
width:0em;
margin:0em;
margin-top:-7em;
margin-bottom:-1em;
padding:0em;
height:100vh;
float:right;
}
div.baseline
{
clear:both;
margin:0em;
padding:0em;
background-color:blue;
}

div.header
{
margin:0em;
padding:0.5em;
color:white;
clear:left;
position: relative;
background-color:#015261; 
}
div.footer
{
margin:0em;
padding:0em;
color:white;
clear:right;
}
div.side-bar
{
float:left;
margin:0em;
padding:0.5em;
width:7em;
padding-bottom:0em;
color:white;
  background: -webkit-linear-gradient(#015261, #dbeff3); /* For Safari 5.1 to 6.0 */
  background: -o-linear-gradient(#015261, #dbeff3); /* For Opera 11.1 to 12.0 */
  background: -moz-linear-gradient(#015261, #dbeff3); /* For Firefox 3.6 to 15 */
  background: linear-gradient(#015261, #dbeff3); /* Standard syntax */

}
ul.side-bar
{
list-style-type:none;
padding:0.5em;
margin:0em;
}
li.side-bar
{
margin-bottom:0em;
}
a.side-bar
{
color:white;
}
div.content
{
color:black;
margin-left:8em;
margin-right:0em;
margin-top:0em;
margin-bottom:0em;
padding:1em;
background-color:#dbeff3;
text-align: justify;
}
a
{
color:#015261;
}
a:hover
{
color:red
}
h1.header,h2.header
{
margin:0em;
}
h2,h3
{
margin:0em;
padding:0em;
}
div.header a {
    position: absolute;
    width: 100%;
    height: 100%;
    top: 0;
    left: 0;
    text-decoration: none; /* No underlines on the link */
    z-index: 10; /* Places the link above everything else in the div */
    background-color: #FFF; /* Fix to make div clickable in IE */
    opacity: 0; /* Fix to make div clickable in IE */
    filter: alpha(opacity=1); /* Fix to make div clickable in IE */
}
table
{
color:#2e5485;
}
td
{
padding:0em 0.5em;
}
p.buttons
{
padding:0em;
margin:0em;
font-size:150%;
}
.float-right
{
float:right;
width:40%
}
.float-right-landscape
{
float:right;
width:60%;
}
.float-right-portrait
{
float:right;
width:40%;
}
.see-picture
{
display: block;
margin-left: auto;
margin-right: auto;
}
.home-picture
{
display: block;
margin-left: auto;
margin-right: auto;
}