[tex4ht] [bug #211] fancyvrb/alltt monospace by default

[Michal Hoftich]

Follow-up Comment #3, bug #211 (project tex4ht):

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.

___

Reply to this item at:

  

___
  Message sent via/by Puszcza
  http://puszcza.gnu.org.ua/

[tex4ht] [bug #211] fancyvrb/alltt monospace by default

[Karl Berry]

Follow-up Comment #2, bug #211 (project tex4ht):

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.


___

Reply to this item at:

  

___
  Message sent via/by Puszcza
  http://puszcza.gnu.org.ua/

[tex4ht] [bug #211] fancyvrb/alltt monospace by default

[Michal Hoftich]

Update of bug #211 (project tex4ht):

 Open/Closed:Open => Closed 

___

Follow-up 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.

___

Reply to this item at:

  

___
  Message sent via/by Puszcza
  http://puszcza.gnu.org.ua/

[tex4ht] [bug #211] fancyvrb/alltt monospace by default

[Karl Berry]

URL:
  http://puszcza.gnu.org.ua/bugs/?211

 Summary: fancyvrb/alltt monospace by default
 Project: tex4ht
Submitted by: karl
Submitted on: Thu 03 Apr 2014 09:38:03 PM EEST
Category: None
Priority: 5 - Normal
Severity: 5 - Normal
  Status: None
 Privacy: Public
 Assigned to: None
Originator Email: 
 Open/Closed: Open
 Discussion Lock: Any

___

Details:

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}





___

Reply to this item at:

  http://puszcza.gnu.org.ua/bugs/?211

___
  Message sent via/by Puszcza
  http://puszcza.gnu.org.ua/