jon.recoil.org
this repo has no description
1
2button.panel {
3 background-color: #2d2f3f;
4 border: solid 1px #f8f8f2;
5 color: #f8f8f2;
6 margin-left: 5px;
7}
8
9div.editor {
10 background-color: #2d2f3f;
11 border: 1px solid #2d2f3f;
12 padding: 5px;
13 border-radius: 5px;
14 max-width: 700px;
15}
16
17div.odoc-src-output {
18 margin-top: 10px;
19}
20
21pre.stdout {
22 border: none;
23 border-top: 1px solid #f8f8f2;
24 border-radius: 0;
25 color: #f8f8f2;
26}
27
28.hidden {
29 display: none;
30}
31
32.at-tags > .libs {
33 display: none;
34}
35
36
37.at-tags > .published > .at-tag {
38 display : none;
39}
40
41.at-tags > .published > p {
42 ::before {
43 content: "Published: ";
44 }
45}
46
47.at-tags > .published > p::before {
48 content: "Published: ";
49}
50