<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* Default colors and font */
BODY {
    background-color: #000000;
    color: #EEEEEE;
    font-family: "Times New Roman", Times, Serif;
    font-size: 11pt;
}

/* Paragraph font */
P {
    color: #EEEEEE;
    font-family: "Times New Roman", Times, Serif;
    font-size: 11pt;
}

CAPTION {
    color: #EEEEEE;
    font-family: "Comic Sans MS", Verdana, Arial, Sans-Serif;
    font-size: 9pt;
}

/* Header fonts */
H1, H2, H3 {
    color: #EEEEEE;
    font-family: "Comic Sans MS", Verdana, Arial, Sans-Serif;
    text-align: center;
    width: 100%;
    filter: dropShadow(color=#666055,offX=2,offY=-1);
}
H1 {
    font-size: 28pt;
    text-align: center;
}
H2 {
    font-size: 20pt;
    text-align: center;
}
H3 {
    font-size: 14pt;
    text-align: center;
}
.h1small {
    font-size: 14pt;
}

/* Styles */
.J {
    font-family: Trebuchet, Arial, Sans-Serif;
    color: #FFFFEE;
}

.M {
    font-family: "Times New Roman", Times, Serif;
    color: #EEEEFF;
}

/* Links fonts and colors */
.links {
    color: #EEEEEE;
    font-size: 11pt;
    text-align: center;
    background-color: #443322;
}

/* Center behavior */
.center {
    color: #EEEEEE;
    text-align: center;
}

.banner {
    font-family: "Comic Sans MS", Verdana, Arial, Sans-Serif;
    text-align: center;
    width: 100%;
    color: #EEEEEE;
    background-color: #333333;
}

/* Link colors and underline behavior */
A:link {
    color: #FFCCCC;
    text-decoration: none;
}
A:visited {
    color: #EEBBBB;
    text-decoration: none;
}
A:active {
    color: #FFDDDD;
    text-decoration: underline;
}
A:hover {
    color: #FFDDDD;
    text-decoration: underline;
}

/* Different colors for "Encyclopaedia Britannica" links */
A:link.eb {
    color: #CCFFCC;
}
A:visited.eb {
    color: #BBEEBB;
}
A:active.eb {
    color: #DDFFDD;
}
A:hover.eb {
    color: #DDFFDD;
}

/* Different colors for "External" links */
A:link.ext {
    color: #CCCCFF;
}
A:visited.ext {
    color: #BBBBEE;
}
A:active.ext {
    color: #DDDDFF;
}
A:hover.ext {
    color: #DDDDFF;
}

/* Definitions color */
.def {
    color: #FFFFCC;
}

TABLE.centered {
    margin-left: auto;
    margin-right: auto;
}

HR {
    width: 50%;
}
</pre></body></html>