There are font type and size differences inside of <screen> and <programlisting> directives.
Also there still seems to be issues in the "serverguide_with_patch.pdf" with UTF-8 multi-byte characters, many created from the <quote></quote> directives in the master files. See the attached screen shot.
If some change is going to be made, then it should done such that the other fonts are not altered and other characters are rendered properly also.
There are font type and size differences inside of <screen> and <programlisting> directives.
Also there still seems to be issues in the "serverguide_ with_patch. pdf" with UTF-8 multi-byte characters, many created from the <quote></quote> directives in the master files. See the attached screen shot.
If some change is going to be made, then it should done such that the other fonts are not altered and other characters are rendered properly also.