.page {
    background-image: url("images/dots.png");
    background-repeat: repeat;

    font-family: "Helvetica", "Verdana", serif;
}

.content {
    margin-left: auto;
    margin-right: auto;
    margin-top: 30px;
    margin-bottom: 30px;

    padding: 0px;

    background-color: rgb(255, 255, 255);

    border-color: black;
    border-style: solid;
    border-width: 4px;
    /*border-radius: 25px;*/

    min-width: 954px;
    max-width: 954px;
    min-height: 400px;

    box-shadow: 5px 5px 10px 2px black;
}

.content-header {
    margin: auto;
    margin-top: 20px;
    margin-left: 20px;
    margin-right: 20px;

    border-color: black;
    /*border-style: dotted;*/
    border-width: 1px;
}

.content-main {
    margin: auto;
    margin-top: 20px;
    margin-left: 20px;
    margin-right: 20px;

    min-height: 300px;

    border-color: black;
    border-style: dotted;
    border-width: 0px;
}

.content-footer {
    margin: auto;
    margin-bottom: 0px;

    padding-bottom: 1px;

    background-color: rgb(0, 0, 0);

    min-width: 954px;
    max-width: 954px;
    min-height: 30px;
    max-height: 30px;
}

.horizontal-line {
    display: block;

    color: #333333;

    margin-top: 0px;
    margin-bottom: 20px;
    margin-left: 0px;
    margin-right: 0px;

    border-style: solid;
    border-width: 1px;
}

.cocoa-horizontal-line {
    display: block;

    color: #333333;

    margin-top: 20px;
    margin-bottom: 20px;
    margin-left: 20px;
    margin-right: 20px;

    border-style: solid;
    border-width: 1px;
}

.navigationMenu {
    list-style-type: none;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 0px;
    margin-right: 0px;

    border-color: rgb(0, 0, 0);
    border-style: solid;
    border-width: 1px;
    border-radius: 0px;

    padding: 0;
    overflow: hidden;
    background-color: #000000;
}

.navigationMenuItem {
    float: left;
    display: block;
    color: white;
    text-align: center;

    padding-top: 5px;
    padding-right: 20px;
    padding-bottom: 5px;
    padding-left: 20px;

    text-decoration: none;

    border-right: 1px solid rgb(255, 255, 255);
}

.highlight:hover {
    background-color: rgb(255, 255, 255);
    color: black;
}

.active {
    color: yellow;
}

.last-child {
    border-right: none;
    text-align-last: right;
    padding-right: 5px;
}

.last-child:hover {
    color: yellow;
}

.menu-text {
    font-size: 0.8em;
}

.page-caption-text {
    font-weight: bold;
    font-family: "Helvetica", "Verdana", serif;
    font-size: 1em;
    /*font-variant: small-caps;*/
}

.page-good-luck-text {
    font-weight: bold;
    font-family: "Helvetica", "Verdana", serif;
    font-size: 1.2em;
    font-variant: small-caps;
    text-align: center;
}

.main-text {
    text-align: justify;
    font-family: "Helvetica", "Verdana", serif;
    font-size: 0.8em;
}

.footer-table {
    margin-left: 20px;
    margin-right: 20px;
    width: 914px;
    height: 30px;
}

.footer-table-row {
    /*width: 317px;*/
}

.footer-text {
    font-family: "Lucida Console", "Courier", monospace;
    font-weight: normal;
    font-size: 0.775em;
    color: white;
}

/* unvisited link */
.footer-text a:link {
    color: white;
    font-weight: normal;
    text-decoration: none;
}

/* visited link */
.footer-text a:visited {
    color: white;
    font-weight: normal;
    text-decoration: none;
}

/* mouse over link */
.footer-text a:hover {
    color: yellow;
    font-weight: normal;
    text-decoration: underline;
}

/* selected link */
.footer-text a:active {
    color: white;
    font-weight: normal;
    text-decoration: none;
}

/* unvisited link */
.main-text a:link {
    color: black;
    font-weight: bold;
    text-decoration: underline;
}

/* visited link */
.main-text a:visited {
    color: black;
    font-weight: bold;
    text-decoration: underline;
}

/* mouse over link */
.main-text a:hover {
    color: blue;
    font-weight: bold;
    text-decoration: underline;
}

/* selected link */
.main-text a:active {
    color: black;
    font-weight: bold;
    text-decoration: underline;
}

.bigger-space-between-lines {
    line-height: 1.8;
}

.cocoa-project-title-text {
    font-weight: bold;
    font-family: "Helvetica", "Verdana", serif;
    font-size: 1.2em;
}
