apenwarr-redo/docs/extra_style.css

p code {
    border: 0;
    padding: 0 2px 0 2px;
    font-size: 80%;
    white-space: nowrap;
    color: #a04040;
    letter-spacing: -1px;
}
Docs: format inline <code> blocks better. It seems like we're using these differently than most readthedocs.org users. Remove the borders and padding so they work better inline, and prevent confusing word wraps. 2018-11-29 14:50:24 -05:00			`p code {`
			`border: 0;`
			`padding: 0 2px 0 2px;`
Better handling if parent closes REDO_CHEATFDS or MAKEFLAGS fds. Silently recover if REDO_CHEATFDS file descriptors are closed, because they aren't completely essential and MAKEFLAGS-related warnings already get printed if all file descriptors have been closed. If MAKEFLAGS --jobserver-auth flags are closed, improve the error message so that a) it's a normal error instead of an exception and b) we link to documentation about why it happens. Also write some more detailed documentation about what's going on here. 2019-01-18 00:06:18 +00:00			`font-size: 80%;`
Docs: format inline <code> blocks better. It seems like we're using these differently than most readthedocs.org users. Remove the borders and padding so they work better inline, and prevent confusing word wraps. 2018-11-29 14:50:24 -05:00			`white-space: nowrap;`
			`color: #a04040;`
			`letter-spacing: -1px;`
			`}`