body {
        /* ordered outside --> inside */
        margin: 10px;
        border-style: none;
        padding: 0px;
        font-size: medium;
        background-color: #FFFFFF;
        }

a:link {
	color: #0000FF;
	}
	
a:visited {
	color: #FF00FF;
	}
	
a:hover {
	background-color: #ddd;
	}

ul {
	padding: 0px 50px 0px 70px
	}

.ul_flat {
	position: relative;
	top: -15px;
        list-style: none;
        padding: 0px;
        }

.img_left {
        float: left;
        margin: 0px 10px 0px 0px;
        border: medium solid;
        }

.img_right {
	float: right;
	margin: 0px 0px 0px 10px;
	border: medium solid;
	}

/* following two are aliases for more general application???*/
.left {
        float: left;
        margin: 0px 10px 0px 0px;
        border: medium solid;
        }

.right {
	float: right;
	margin: 0px 0px 0px 10px;
	border: medium solid;
	}

.banner {
        margin: 0px;
        width: 800px;
	height: auto;
	border: thin solid black;
        padding: 0px 0px 20px 0px;
}

.banner-text {
        margin: 0px;
	height: auto;
        width: 760px;
	border: none;
        font-size: .8em;
}

.nobox {
        border-style: none;
        }

.thinbox {
        border-style: solid;
        border-width: 1px;
        }

.medbox {
        border-style: solid;
        border-width: medium;
        }

.option {
        position: relative;
        height: 140px;
        border: thin solid black;
        padding: 0px 205px 10px 10px;
        z-index: 2;
        }

.download {
	float: right;
        position: absolute;
        top: 0px;
        right: 0px;
        height: 130px;
        width: 180px;
        font-size: .8em;
        background-color: #ccc;
        padding: 10px;
        z-index:1;
        }

#download1 {
	float: right;
        right: 0px;
        height: 231px;
        width: 180px;
        margin: 0px 0px 0px 10px;
	border: thin solid black;
        padding: 10px;
        font-size: .8em;
        background-color: #ccc;
        z-index:1;
        }

#whatsoftware {
        right: 0px;
        height: auto;
        margin: 0px 0px 0px 0px;
        padding: 10px;
        }

.tag {
        margin-left: 50px;
        }

#flow {
        float: right;
        }

#content {
        position: relative;
        }

#copyright {
	position: relative;
        bottom: 0;
        border-style: none;
        font-size: 0.8em;
	}