comparison third_party/highlight/styles/default.css @ 157:2db6253f355d

[ThirdParty] Added highlight library for better readability on blog.
author June Park <parkjune1995@gmail.com>
date Tue, 13 Jan 2026 19:18:47 -0800
parents
children
comparison
equal deleted inserted replaced
156:cd35e600ae34 157:2db6253f355d
1 pre code.hljs {
2 display: block;
3 overflow-x: auto;
4 padding: 1em
5 }
6 code.hljs {
7 padding: 3px 5px
8 }
9 /*!
10 Theme: Default
11 Description: Original highlight.js style
12 Author: (c) Ivan Sagalaev <[email protected]>
13 Maintainer: @highlightjs/core-team
14 Website: https://highlightjs.org/
15 License: see project LICENSE
16 Touched: 2021
17 */
18 /*
19 This is left on purpose making default.css the single file that can be lifted
20 as-is from the repository directly without the need for a build step
21
22 Typically this "required" baseline CSS is added by `makestuff.js` during build.
23 */
24 pre code.hljs {
25 display: block;
26 overflow-x: auto;
27 padding: 1em
28 }
29 code.hljs {
30 padding: 3px 5px
31 }
32 /* end baseline CSS */
33 .hljs {
34 background: #F3F3F3;
35 color: #444
36 }
37 /* Base color: saturation 0; */
38 .hljs-subst {
39 /* default */
40
41 }
42 /* purposely ignored */
43 .hljs-formula,
44 .hljs-attr,
45 .hljs-property,
46 .hljs-params {
47
48 }
49 .hljs-comment {
50 color: #697070
51 }
52 .hljs-tag,
53 .hljs-punctuation {
54 color: #444a
55 }
56 .hljs-tag .hljs-name,
57 .hljs-tag .hljs-attr {
58 color: #444
59 }
60 .hljs-keyword,
61 .hljs-attribute,
62 .hljs-selector-tag,
63 .hljs-meta .hljs-keyword,
64 .hljs-doctag,
65 .hljs-name {
66 font-weight: bold
67 }
68 /* User color: hue: 0 */
69 .hljs-type,
70 .hljs-string,
71 .hljs-number,
72 .hljs-selector-id,
73 .hljs-selector-class,
74 .hljs-quote,
75 .hljs-template-tag,
76 .hljs-deletion {
77 color: #880000
78 }
79 .hljs-title,
80 .hljs-section {
81 color: #880000;
82 font-weight: bold
83 }
84 .hljs-regexp,
85 .hljs-symbol,
86 .hljs-variable,
87 .hljs-template-variable,
88 .hljs-link,
89 .hljs-selector-attr,
90 .hljs-operator,
91 .hljs-selector-pseudo {
92 color: #ab5656
93 }
94 /* Language color: hue: 90; */
95 .hljs-literal {
96 color: #695
97 }
98 .hljs-built_in,
99 .hljs-bullet,
100 .hljs-code,
101 .hljs-addition {
102 color: #397300
103 }
104 /* Meta color: hue: 200 */
105 .hljs-meta {
106 color: #1f7199
107 }
108 .hljs-meta .hljs-string {
109 color: #38a
110 }
111 /* Misc effects */
112 .hljs-emphasis {
113 font-style: italic
114 }
115 .hljs-strong {
116 font-weight: bold
117 }