On 2013.11.08. 16:58, Warren Block wrote:
In HTML, programlistings used to be a div (<div
class="programlisting"> but are now <pre class="programlisting">.
Likewise for <screen>. The existing CSS has no entries for this.
Userinput is also not bold, another CSS issue.
Fixed, thanks!
By the way, when was screen changed to have a dark red background? I
remember there were some discussions about distinguishing them from
programlisting but personally I don't like dark red since at the first
sight it looks very similar to a warning admonition. The red color calls
the attention too much.
Gabor
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "[email protected]"
