[chore] Make changing the name of a REPL obvious (#6808)

pull/7738/head
Yuichiro Yamashita 5 years ago committed by GitHub
parent e352c6fdb8
commit c79d851fd8

@ -265,9 +265,17 @@ export default app;` });
opacity: 0.7;
outline: none;
flex: 1;
margin: 0 0.2em 0 .4rem;
padding-top: 0.2em;
border-bottom: 1px solid transparent;
}
input:hover {
border-bottom: 1px solid currentColor;
opacity: 1;
}
input:focus {
border-bottom: 1px solid currentColor;
opacity: 1;
}

Loading…
Cancel
Save