@charset "utf-8";
@import url("common.css");
#replace_regexp table {
    border:1px solid gray;
    border-collapse:collapse;
}
#replace_regexp th,td {
    border:1px solid gray;
    padding:0.5ex 0.5em;
}
#replace_regexp dt {
    text-decoration:none;
}
#replace_regexp dd {
    margin-left:1em;
}
.cursol {
    color:white;
    background-color:black;
}