From 1cf154bb8f2baff8a27ce917562c0aab5dc2f7a6 Mon Sep 17 00:00:00 2001 From: dutoit Date: Mon, 15 Sep 2003 13:57:09 +0000 Subject: [PATCH] Rajout du print.css pour le media print --- htdocs/main.inc.php | 1 + 1 file changed, 1 insertion(+) diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 49d5c561fbd..ce2bac9ffa0 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -330,6 +330,7 @@ function top_menu($head, $title="") // print ''; print ''; + print ''; print "\n"; if (strlen($title) > 0) {