10 /* border: 1px solid LightGrey; */
11 padding-bottom: 0.8em;
21 /* background-color: yellow; */
33 list-style-type: none;
52 /* background: #fff; */
53 /* The font-family setting is stolen from github */
54 font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
62 text-decoration: none;
68 background-color:#f5ebe1;
69 /* font-size:1.2em; */
85 font: 12px "SFMono-Regular", Consolas, "Liberation Mono", Menlo, Courier, monospace;
91 background-color:#585858;
95 border-bottom-left-radius:8px;
101 pre.src:hover:before{
105 pre.src-sh:before{ content:'sh' }
106 pre.src-bash:before{ content:'bash' }
107 pre.src-emacs-lisp:before{ content:'Emacs Lisp' }
108 pre.src-R:before{ content:'R' }
109 pre.src-org:before{ content:'Org' }
110 pre.src-c+:before{ content:'C++' }
111 pre.src-c:before{ content:'C' }
112 pre.src-html:before{ content:'HTML' }