@ -481,8 +481,10 @@ a.heading-anchor:link, a.heading-anchor:visited {
span.input_prompt {
font-family: monospace;
}
input.raw_input {
color: inherit;
width: auto;
height: 1em;
line-height: 1em;