style.css (2072B)
1 /* code blocks (Style from jmeiners.com/lc3-vm, CC BY-NC-SA 4.0, used with attribution) */ 2 3 /* Quotes and Block Quotes */ 4 blockquote { 5 margin: 1.5em 10px; 6 padding: 0.5em 10px; 7 border-left: 5px solid #ccc; 8 color: #666; 9 background-color: #f9f9f9; 10 font-style: italic; 11 } 12 13 blockquote p { 14 margin: 0; 15 font-size: 1.2em; 16 } 17 18 q { 19 quotes: "“" "”" "‘" "’"; 20 font-style: italic; 21 } 22 23 q::before { 24 content: open-quote; 25 } 26 27 q::after { 28 content: close-quote; 29 } 30 31 /*! Color themes for Google Code Prettify | MIT License | github.com/jmblog/color-themes-for-google-code-prettify */ 32 .prettyprint { 33 background: #f5f7ff; 34 font-family: Menlo, "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Monaco, Consolas, monospace; 35 border: 0 !important; 36 } 37 38 .pln { 39 color: #202746; 40 } 41 42 /* Specify class=linenums on a pre to get line numbering */ 43 ol.linenums { 44 margin-top: 0; 45 margin-bottom: 0; 46 color: #202746; 47 } 48 49 li.L0, 50 li.L1, 51 li.L2, 52 li.L3, 53 li.L4, 54 li.L5, 55 li.L6, 56 li.L7, 57 li.L8, 58 li.L9 { 59 padding-left: 1em; 60 background-color: #f5f7ff; 61 list-style-type: decimal; 62 } 63 64 @media screen { 65 66 /* string content */ 67 68 .str { 69 color: #ac9739; 70 } 71 72 /* keyword */ 73 74 .kwd { 75 color: #6679cc; 76 } 77 78 /* comment */ 79 80 .com { 81 color: #202746; 82 } 83 84 /* type name */ 85 86 .typ { 87 color: #3d8fd1; 88 } 89 90 /* literal value */ 91 92 .lit { 93 color: #c76b29; 94 } 95 96 /* punctuation */ 97 98 .pun { 99 color: #202746; 100 } 101 102 /* lisp open bracket */ 103 104 .opn { 105 color: #202746; 106 } 107 108 /* lisp close bracket */ 109 110 .clo { 111 color: #202746; 112 } 113 114 /* markup tag name */ 115 116 .tag { 117 color: #c94922; 118 } 119 120 /* markup attribute name */ 121 122 .atn { 123 color: #c76b29; 124 } 125 126 /* markup attribute value */ 127 128 .atv { 129 color: #22a2c9; 130 } 131 132 /* declaration */ 133 134 .dec { 135 color: #c76b29; 136 } 137 138 /* variable name */ 139 140 .var { 141 color: #c94922; 142 } 143 144 /* function name */ 145 146 .fun { 147 color: #3d8fd1; 148 } 149 }