4 /* It sits too high by default. */
5 vertical-align: middle;
9 /* add some space at top and bottom of comment section */
15 /* whitespace doesn't cut it to differentiate multiple comments,*/
17 border-top-style: solid;
18 /* some darkish color, black is too striking */
19 border-top-color: #C4C3BC;
20 /* copied from stackoverflow. */
21 border-top-width: 0.716667px;
25 #comment-stripe, #comment-stripe code {
26 /* differentiate comments, don't colorize code */
27 background-color: #EBEAE4;
31 /* make the top/bottom of comments have more space */
36 #comment-section textarea:focus, #comment-section textarea:active, #comment-section input:hover {
37 /* color textarea when selected, and for submit button,*/
38 /* without 3d effect, we need a different color. */
42 #comment-section textarea {
43 /* go with theme, avoid bright white. */
44 background-color: #f6f6f0;
48 /* default is some 3d border. use a flat border instead. */
50 /* by default text input hugs the edges too much */
52 /* add some space between input and submit button */
56 /* if this is filled out, we can assume it's spam. common tactic. */
63 /* make the comment box be full width */
69 /* i dun like the default bullet points */
70 list-style-type: none;
74 /* for site index lists, bigger font, no indent, more space */
81 /* default is too scrunched */
83 /* default too small */
88 /* alternative to a <br>. whatever. */
89 /* https://stackoverflow.com/questions/7363766/how-to-insert-a-line-break-before-an-element-using-css */
90 .comment-date:before { content: '\A'; }
93 /* make it a bit smaller and lighter */
103 /* default too wide, got from some random blog */
104 letter-spacing: -1px;
105 /* default is too much below where the date is. */
109 /* make the header links less prominent. */
110 header a:visited, header a {
111 /* link color in top navigation is better as some less eye */
112 /* catching color. */
124 .main-content-stripe {
125 /* i don't like bright white. copy a gitweb color */
126 background-color: #f6f6f0;
135 header,footer,.content,#comment-section {
136 /* top margin 0, left/right = auto, which centers it */
138 /* default too wide */
146 background-color: #fff;
147 /* defaults are squished next to the borders of the color change */
152 /* mono text is wider, so use smaller font to compensate */
157 /* defaults are squished next to the borders of the color change */
162 /* taken from wikipedia. purple links get a bit old. */
165 text-decoration: none;
168 text-decoration: underline;
174 /* grabbed just the rss icon from font-awesome using fontello.com*/
175 /* then extracted just the relevant bits out. I tried using svg,*/
176 /* since it is more modern and compatible,*/
177 /* but it seems that it would take a bunch of work to change it's*/
178 /* color, do underline on hover, and line it up with the rest*/
181 font-family: 'fontello';
182 src: url('/font/fontello.eot?97936362');
183 src: url('/font/fontello.eot?97936362#iefix') format('embedded-opentype'),
184 url('/font/fontello.woff2?97936362') format('woff2'),
185 url('/font/fontello.woff?97936362') format('woff'),
186 url('/font/fontello.ttf?97936362') format('truetype'),
187 url('/font/fontello.svg?97936362#fontello') format('svg');
191 [class^="icon-"]:before, [class*=" icon-"]:before {
192 font-family: "fontello";
197 display: inline-block;
198 text-decoration: inherit;
204 /* For safety - reset parent styles, that can break glyph codes*/
205 font-variant: normal;
206 text-transform: none;
208 /* fix buttons height, for twitter bootstrap */
211 /* Animation center compensation - margins should be symmetric */
212 /* remove if not needed */
215 /* you can be more comfortable with increased icons size */
216 /* font-size: 120%; */
218 /* Font smoothing. That was taken from TWBS */
219 -webkit-font-smoothing: antialiased;
220 -moz-osx-font-smoothing: grayscale;
222 /* Uncomment for 3D effect */
223 /* text-shadow: 1px 1px 1px rgba(127, 127, 127, 0.3); */
225 .icon-rss:before { content: '\f09e'; } /* '' */
229 /* from https://jekyllrb.com/docs/templates/#code-snippet-highlighting*/
230 /* links to a 6 year old css file supposedly used by github:*/
231 /* https://github.com/mojombo/tpw/blob/master/css/syntax.css*/
232 /* googling jekyll source code css, leads*/
233 /* https://github.com/jwarby/jekyll-pygments-themes, which seems ok,*/
234 /* but I'm curious what the upstream default is. I find rogue has no*/
235 /* default. pygments does, so I do that:*/
236 /* http://pygments.org/docs/quickstart/*/
237 /* fire up python2,*/
239 /* from pygments.formatters import HtmlFormatter */
240 /* print HtmlFormatter().get_style_defs('.highlight')*/
259 .highlight .c, .highlight .cd {
265 background-color: #e3d2d2;
269 background-color: #ffdddd;
283 background-color: #ddffdd;
324 .highlight .k, .highlight .kv {
343 .highlight .m, .highlight .mb, .highlight .mx {
447 background-color: #f8f8f8;