@charset "utf-8";
div.contextlink {
    font-size: 12px;
}