bugtex4ht - Bugs: bug #211, fancyvrb/alltt monospace by default

Show feedback again

You are not allowed to post comments on this tracker with your current authentification level.

bug #211: fancyvrb/alltt monospace by default

Submitted by:  Karl Berry <karl>
Submitted on:  Thu 03 Apr 2014 09:38:03 PM EEST  
Category: NonePriority: 5 - Normal
Severity: 5 - NormalStatus: None
Privacy: PublicAssigned to: None
Open/Closed: Closed

Wed 01 Jul 2020 02:17:07 PM EEST, comment #3:

You can disable them using \NoFonts command or NoFonts option. But if you didn't use them explicitly, it is possible that the .htf file for the used font just wasn't marked as monospaced.

Michal Hoftich <michal_h21>
Project Member
Wed 01 Jul 2020 01:41:28 AM EEST, comment #2:

I was not aware I had "disabled ht-fonts". I don't even know how to do that :).

We build the html just by running generic htlatex. as far as I can see. There is no special .cfg file.

Ah well, no matter. Will look into it further if it comes up again. Thanks.

Karl Berry <karl>
Project Administrator
Tue 30 Jun 2020 03:22:04 PM EEST, comment #1:

The monospaced fonts in these environments is ensured by using monospaced HT-fonts. I've added the CSS declarations, but they will have effect only when user disables HT-fonts.

Michal Hoftich <michal_h21>
Project Member
Thu 03 Apr 2014 09:38:03 PM EEST, original submission:

want typewriter by default for fancyvrb and alltt.
(noticed in boris's tb109reviews-xie output)

div.fancyvrb {font-family:monospace}
div.alltt {font-family:monospace}

Karl Berry <karl>
Project Administrator


No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -unavailable- added by michal_h21 (Posted a comment)
  • -unavailable- added by karl (Submitted the item)

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.


    Please enter the title of George Orwell's famous dystopian book (it's a date):



    1 latest change follows.

    Date Changed By Updated Field Previous Value => Replaced By
    Tue 30 Jun 2020 03:22:04 PM EESTmichal_h21Open/ClosedOpen=>Closed
    Show feedback again

    Back to the top

    Powered by Savane 3.1-cleanup+gray