this repo has no description
at main 50 lines 663 B view raw
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