1234567891123456789212345678931234567894123456789512345678961234567897123456789812345678991234567890

https://highlightjs.org/

https://github.com/highlightjs/highlight.js

https://github.com/highlightjs/highlight.js/tree/master/src/styles

테마>내테 마>HTML 편집


https://github.com/highlightjs/highlight.js/blob/master/SUPPORTED_LANGUAGES.md
	
	
    	<pre>	
		<code class="html">
    			<link href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.5.0/styles/agate.min.css" rel="stylesheet"/>
    		</code>
	</pre>
    

class 

java, jsp 
javascript, js 

9
	
	
    	code,kbd,pre,samp{font-family:Consolas,monospace,monospace;font-size:0.9em}
    
2957
	
	
      	<link href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.5.0/styles/agate.min.css" rel="stylesheet"/>
		<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.5.0/highlight.min.js"/>
    
<pre name="code" class="php">
    echo "I like PHP";
</pre>
	
	
/**
 * Handles requests for the application home page.
 */
@Controller
public class HomeController {
	
	private static final Logger logger = LoggerFactory.getLogger(HomeController.class);
	
	/**
	 * Simply selects the home view to render by returning its name.
	 */
	@RequestMapping(value = "/", method = RequestMethod.GET)
	public String home(Locale locale, Model model) {
    
		logger.info("Welcome home! The client locale is {}.", locale);
		
		Date date = new Date();
		DateFormat dateFormat = DateFormat.getDateTimeInstance(DateFormat.LONG, DateFormat.LONG, locale);
		
		String formattedDate = dateFormat.format(date);
		
		model.addAttribute("serverTime", formattedDate );
				
		return "home";
	}
	
}
    
    echo "I like PHP";
    
/**
 * Handles requests for the application home page.
 */
@Controller
public class HomeController {
	
	private static final Logger logger = LoggerFactory.getLogger(HomeController.class);
	
	
	@Value("${rest}")
	private String rest;
	/**
	 * Simply selects the home view to render by returning its name.
	 */
	@RequestMapping(value = "/", method = RequestMethod.GET)
	public String home(Locale locale, Model model) {
		logger.info("Welcome home! The client locale is {}.", locale);
		logger.debug("Welcome home! The client locale is {}.", locale);
		
		Date date = new Date();
		DateFormat dateFormat = DateFormat.getDateTimeInstance(DateFormat.LONG, DateFormat.LONG, locale);
		
		String formattedDate = dateFormat.format(date);
		
		model.addAttribute("serverTime", formattedDate );
		
		logger.info(rest);
		
		return "home";
	}
	
}

댓글