input[data-v-131f5f9e]{border:1px solid #dde;font-size:1em}input[data-v-131f5f9e]:focus{outline:.1px solid #3A5FD8}#toolRelates a[data-v-131f5f9e]{text-decoration:none;padding:2px}#toolRelates a:hover>div[data-v-131f5f9e]{border:1px solid orangered}.currentNav a[data-v-131f5f9e]{text-decoration:none}