/** * Main method is used by the build process to write out the default CSS stylesheet. * * @param args Array containing 1 argument: the File that the default CSS should be written to. * Any parent directories will be created as required. * * @throws FileNotFoundException */ public static void main(String[] args) throws IOException { if (args.length!=1) { System.err.println("Usage: specify a File that the default SnuggleTeX CSS will be written to"); System.exit(1); } File outputFile = new File(args[0]); IOUtilities.ensureFileCreated(outputFile); writeDefaultStylesheet(new FileOutputStream(outputFile)); } }
/** * Main method is used by the build process to write out the default CSS stylesheet. * * @param args Array containing 1 argument: the File that the default CSS should be written to. * Any parent directories will be created as required. * * @throws FileNotFoundException */ public static void main(String[] args) throws IOException { if (args.length!=1) { System.err.println("Usage: specify a File that the default SnuggleTeX CSS will be written to"); System.exit(1); } File outputFile = new File(args[0]); IOUtilities.ensureFileCreated(outputFile); writeDefaultStylesheet(new FileOutputStream(outputFile)); } }
/** * Main method is used by the build process to write out the default CSS stylesheet. * * @param args Array containing 1 argument: the File that the default CSS should be written to. * Any parent directories will be created as required. * * @throws FileNotFoundException */ public static void main(String[] args) throws IOException { if (args.length!=1) { System.err.println("Usage: specify a File that the default SnuggleTeX CSS will be written to"); System.exit(1); } File outputFile = new File(args[0]); IOUtilities.ensureFileCreated(outputFile); writeDefaultStylesheet(new FileOutputStream(outputFile)); } }
String defaultCSS = CSSUtilities.writeDefaultStylesheet(); NodeList list = document.getElementsByTagName("head"); if (list.getLength() == 0)