@charset "utf-8";
/*
++++++++++++++++++++++++++++++++++++++++++++++
++++++++++++++++++++++++++++++++++++++++++++++
*/
.summary dl dt a {
    background: #a6292d;
}
.summary dl dt a:hover {
    background: #00513b;
}
.summary a,
.summary a:visited,
.column a,
.column a:visited {
    color: #a6292d;
}