private void loadFontResource() {
        String name = "VeraMono.ttf";
        int size = (largeFont ? 16 : 12);
        
        if (fontResource == null) {
            ClassLoader loader = AppFrame.class.getClassLoader();
            InputStream stream = loader.getResourceAsStream(name);
        
            if (stream != null) {
        	try {
        	    fontResource = Font.createFont(Font.TRUETYPE_FONT, stream);
        	}
        	catch (IOException e) { } 
        	catch (FontFormatException e) { }
        	finally { 
        	    try { stream.close(); } catch (IOException e) { }
        	}
            }
        }
            	
    	if (fontResource != null)
    	    setFont(fontResource.deriveFont((float) size));
    	else
    	    setFont(new Font("Default", Font.PLAIN, size));
    }