1234567891123456789212345678931234567894123456789512345678961234567897123456789812345678991234567890
https://highlightjs.org/
https://github.com/highlightjs/highlight.js
https://github.com/highlightjs/highlight.js/tree/master/src/styles
테마>내테 마>HTML 편집
<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"; } }
댓글
댓글 쓰기