on 5cc0b18 help sign in
urbit.org/styles/prism.css
165 lines 2.9 kB history raw
1/* PrismJS 1.24.0
2https://prismjs.com/download.html#themes=prism-coy&languages=markup+css+clike+javascript */
3/**
4 * prism.js Coy theme for JavaScript, CoffeeScript, CSS and HTML
5 * Based on https://github.com/tshedor/workshop-wp-theme (Example: http://workshop.kansan.com/category/sessions/basics or http://workshop.timshedor.com/category/sessions/basics);
6 * @author Tim Shedor
7 */
9code[class*="language-"],
10pre[class*="language-"] {
11 color: black;
12 background: none;
13 font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
14 font-size: 1em;
15 text-align: left;
16 white-space: pre;
17 word-spacing: normal;
18 word-break: normal;
19 word-wrap: normal;
20 line-height: 1.5;
22 -moz-tab-size: 4;
23 -o-tab-size: 4;
24 tab-size: 4;
26 -webkit-hyphens: none;
27 -moz-hyphens: none;
28 -ms-hyphens: none;
29 hyphens: none;
32/* Code blocks */
33pre[class*="language-"] {
34 position: relative;
35 overflow: visible;
38code[class*="language-"] {
39 max-height: inherit;
40 height: inherit;
41 display: block;
42 overflow: auto;
45/* Inline code */
46:not(pre) > code[class*="language-"] {
47 position: relative;
48 border-radius: 0.3em;
49 color: #c92c2c;
50 display: inline;
51 white-space: normal;
54.token.comment,
55.token.block-comment,
56.token.prolog,
57.token.doctype,
58.token.cdata {
59 color: #7d8b99;
62.token.punctuation {
63 color: #5f6364;
66.token.property,
67.token.tag,
68.token.boolean,
69.token.number,
70.token.function-name,
71.token.constant,
72.token.symbol,
73.token.deleted {
74 color: #c92c2c;
77.token.selector,
78.token.attr-name,
79.token.string,
80.token.char,
81.token.function,
82.token.builtin,
83.token.inserted {
84 color: #2f9c0a;
87.token.operator,
88.token.entity,
89.token.url,
90.token.variable {
91 color: #a67f59;
92 background: rgba(255, 255, 255, 0.5);
95.token.atrule,
96.token.attr-value,
97.token.keyword,
98.token.class-name {
99 color: #1990b8;
102.token.regex,
103.token.important {
104 color: #e90;
107.language-css .token.string,
108.style .token.string {
109 color: #a67f59;
110 background: rgba(255, 255, 255, 0.5);
113.token.important {
114 font-weight: normal;
117.token.bold {
118 font-weight: bold;
120.token.italic {
121 font-style: italic;
124.token.entity {
125 cursor: help;
128.token.namespace {
129 opacity: 0.7;
132@media screen and (max-width: 767px) {
133 pre[class*="language-"]:before,
134 pre[class*="language-"]:after {
135 bottom: 14px;
136 box-shadow: none;
137 }
140/* Plugin styles: Line Numbers */
141pre[class*="language-"].line-numbers.line-numbers {
142 padding-left: 0;
145pre[class*="language-"].line-numbers.line-numbers code {
146 padding-left: 3.8em;
149pre[class*="language-"].line-numbers.line-numbers .line-numbers-rows {
150 left: 0;
153/* Plugin styles: Line Highlight */
154pre[class*="language-"][data-line] {
155 padding-top: 0;
156 padding-bottom: 0;
157 padding-left: 0;
159pre[data-line] code {
160 position: relative;
161 padding-left: 4em;
163pre .line-highlight {
164 margin-top: 0;