[Mono-docs-list] Monodoc print support patch - feedback needed.

[Mario Sopena]

Hey,

 I was trying your patch and I realized that when using gecko and
printing, the results are ugly, because monodoc uses css for rendering
but you use Gtkhtml for printing, so, while we make gecko print, we
can disable css before printing and enable it later. Something like
this:

void on_print1_activate (object sender, EventArgs e) {
		Node n; 
		// desactivate css temporary 
		if (UseGecko)
			HelpSource.use_css = false;
		
		// sending Html to the printed. 
		print_manager.Print(help_tree.RenderUrl (CurrentUrl, out n),null,n.Caption);
		
		if (UseGecko)
			HelpSource.use_css = true;		
	}

if you agree I can make the changes myself before applying the patch.

Mario