.body { margin-top: 0px; margin-right: 0px; margin-left: 0px; margin-bottom: 0px;

            background-image: norepeat;}
.middlediv { margin-top: 40px; margin-right: 0px; margin-left: 0px; margin-bottom: 0px; }
                        

A.nav { font-family: verdana, arial, "times new roman", georgia, times, serif;
            font-size: 12px;
            line-height: 15px;
            text-decoration: none;
            color: #CD0000;
            font-weight: bold }

font.nav { font-family: verdana, arial, "times new roman", georgia, times, serif;
            font-size: 12px;
            line-height: 15px;
            text-decoration: none;
            color: #CD0000;
            font-weight: bold }

A.link { font-family: georgia, "times new roman", times, serif;
            font-size: 11px;
            line-height: 15px;
            text-decoration: none;
            color: #CD0000;
            font-weight: bold }

A.email { font-family: verdana, helvetica, arial, sans-serif;
            font-size: 9px;
            color: #CD0000 }
           

.border { border-bottom-width: 1px;
            border-top-width: 0px;
            border-right-width: 0px;

           border-left-width: 0px;

           border-color: #FFFFFF;
           border-style: solid

           margin-top: 0px; 
           margin-right: 0px;
           margin-left: 0px;
           margin-bottom: 0px }

.navdiv { text-align: right;
           margin-right: 10px }

.contentdiv { margin-top: 10px; 

           margin-right: 10px;
           margin-left: 10px; 
           margin-bottom: 10px;

           text-align: left }

.welcome { font-family: verdana, helvetica, arial, sans-serif;

           font-size: 11px;
           text-decoration: none;
           color: black;
           line-height: 15px }

.welcomebold { font-family: verdana, helvetica, arial, sans-serif;

           font-size: 11px;
           text-decoration: none;
           color: black;
           font-weight: bold;
           line-height: 15px }

.addresstag { font-family: verdana, helvetica, arial, sans-serif;
            font-size: 9px;
            text-decoration: none;
            color: black }

.headline { font-family: georgia, "times new roman", times, serif;
            font-size: 16px;
            text-decoration: none;
            color: #CD0000;
            line-height: 15px ;
            font-weight: bold }

.contact { font-family: verdana, helvetica, arial, sans-serif;

           font-size: 11px;
           text-decoration: none;
           color: black;
           line-height: 15px;
           font-weight: bold }

A.hotels{ font-family: verdana, arial, "times new roman", georgia, times, serif;

           font-size: 11px;
           line-height: 15px;
           color: #CD0000;
           font-weight: bold}

A.floorplans{ font-family: verdana, arial, "times new roman", georgia, times, serif;

           font-size: 11px;
           line-height: 15px;
           color: #CD0000}

.rooms { font-family: verdana, helvetica, arial, sans-serif;
           font-size: 10px;
           text-decoration: none;
           color: black;
           line-height: 15px }