che scemo, è vero...
e se voglio un'unico stile di stampa vado bene con questo script?

else
print("<link rel=\"stylesheet\" type=\"text/css\" href=\"style.css\">\n");
print("<link media=\"print\" rel=\"stylesheet\" type=\"text/css\" href=\"style3.css\">\n");