.TITLE {
color: rgb(0, 64, 128);
font-weight: bold;
}

.DET {
font-size: smaller;

}

.LOC {
font-style: italic;
font-size: smaller;
}