/** * Returns this user agent's CSS media. */ public String getMedia() { String s = (String)hints.get(KEY_MEDIA); if (s != null) return s; return super.getMedia(); }
/** * Returns this user agent's CSS media. */ public String getMedia() { String s = (String)hints.get(KEY_MEDIA); if (s != null) return s; return super.getMedia(); }