BODY {
   /*  background: #ebb; */
    background: #600015;
   /* color: #000; */
    color: #fff;
    font-family: "times new roman",serif;
    /* font-size: 12pt; */
    margin: 1ex;
}

A {
    text-decoration: none;
    color: #d88;
}

A:hover {
    text-decoration: underline;
    color: #00f;
}

TABLE {
    /*font-size: 12pt;*/
}

TABLE.title {
    border-color: #d55; /* #900 */
    border-style: solid;
    border-width: 2px;
}

TABLE.module {
    border-color: #d55;  /* #900; */
    border-style: dotted;
    border-width: 2px;
}

HR {
    border-color: #d55;  /* #900; */
    border-style: dotted;
}

TH.module_title {
    background: #fee;
    color: #644;
    font-weight: bold;
    text-align: left;
}

TH.schedule_title {
    background: #fee;
    color: #655;
    font-weight: bold;
}

TD.schedule_exam {
    background: #fee;
    color: #8f0000;
    font-weight: bold;
}

TD.title {
    padding: 1ex;
}

TD.nav {
    background: #fee;
/*    color: #fbb; */
    color: #888;
    font-weight: bold;
    /*font-size: 12pt;*/
}

BIG.title {
    font-size: 200%;
    font-weight: bold;
    font-style: italic;
}

TABLE.index {
    font-size: 80%;
    border-color: #d55;  /* #90; */
    border-style: dashed;
    border-width: 0px;
}

.schedule {
    border-width: 1px;
    border-style: solid;
    border-color: #d55;  /* #90; */
    font-family: sans-serif;
    font-size: 80%;
}

.lines {
    background: #edd;
    border-width: 1px;
    border-style: solid;
    border-color: #d55;  /* #90; */
    font-family: sans-serif;
    font-size: 80%;
}

SMALL {
    font-size: 80%;
}

DT {
    font-weight: bold;
}

DD {
    margin-bottom: 1ex;
    margin-left: 2ex;
}

PRE {
    font-size: 80%;
}

LI {
    padding-top: 0.25ex;
    padding-bottom: 0.25ex;
}

PRE.code {
    background: #fff;
    color: #000;
    padding: 1ex;
    border-width: 2px;
    border-style: solid;
    border-color: #d55;  /* #90; */
}

SUB {
    font-size: 70%;
}
SUP {
    font-size: 70%;
}