[HEADSUP] Merging DocBook 5.0 update

[Gábor Kövesdán]

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