release_version
{
	color: red;
	font-weight: bolder;
}

.download
{
	font-family: "arial", "helvetica", "lucida", "sans";
}

.aligntopleft {
    vertical-align: top;
    text-align: left;
}
.aligntop {
    vertical-align: top;
}
.tenpt {
    font-size: 10pt;
}
.bold {
    font-weight: bold;
}
.blue {
    color: blue;
}
table.downloads {
    text-align: left;
    width: 640px;
    background-color: #5f5;
}
table.downloads2 {
    text-align: left;
    width: 100%;
    background-color: #cfc;
    border-color: #5f5
}
table.windownloads {
    text-align: left;
    width: 300px;
    background-color: rgb(98, 180, 218);
}
table.windownloads2 {
    text-align: left;
    background-color: rgb(204, 231, 243);
    width: 100%;
}
table.linuxdownload {
    text-align: left;
    width: 300px;
    background-color: rgb(98, 180, 218);
}
table.linuxdownload2 {
    text-align: left;
    background-color: rgb(204, 231, 243);
    width: 100%;
}
table.srcdownload {
    text-align: left;
    width: 300px;
    background-color: rgb(98, 180, 218);
}
table.srcdownload2 {
    text-align: left;
    background-color: rgb(204, 231, 243);
    width: 100%;
}