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 */
37 #comment-section textarea:focus, #comment-section textarea:active, #comment-section input:hover {
38 /* color textarea when selected, and for submit button,*/
39 /* without 3d effect, we need a different color. */
43 #comment-section textarea {
44 /* go with theme, avoid bright white. */
45 background-color: #f6f6f0;
49 /* default is some 3d border. use a flat border instead. */
51 /* by default text input hugs the edges too much */
53 /* add some space between input and submit button */
57 /* if this is filled out, we can assume it's spam. common tactic. */
64 /* make the comment box be full width */
70 /* i dun like the default bullet points */
71 list-style-type: none;
75 /* for site index lists, bigger font, no indent, more space */
82 /* default is too scrunched */
84 /* default too small */
89 /* alternative to a <br>. whatever. */
90 /* https://stackoverflow.com/questions/7363766/how-to-insert-a-line-break-before-an-element-using-css */
91 .comment-date:before { content: '\A'; }
94 /* make it a bit smaller and lighter */
104 /* default too wide, got from some random blog */
105 letter-spacing: -1px;
106 /* default is too much below where the date is. */
110 /* make the header links less prominent. */
111 header a:visited, header a {
112 /* link color in top navigation is better as some less eye */
113 /* catching color. */
125 .main-content-stripe {
126 /* i don't like bright white. copy a gitweb color */
127 background-color: #f6f6f0;
136 .page_header,footer,.content,#comment-section {
144 /* default too wide */
145 max-width: $main-column-max-width;
152 background-color: #fff;
153 /* defaults are squished next to the borders of the color change */
158 /* mono text is wider, so use smaller font to compensate */
163 /* defaults are squished next to the borders of the color change */
168 /* taken from wikipedia. purple links get a bit old. */
171 text-decoration: none;
174 text-decoration: underline;
180 /* grabbed just the rss icon from font-awesome using fontello.com*/
181 /* then extracted just the relevant bits out. I tried using svg,*/
182 /* since it is more modern and compatible,*/
183 /* but it seems that it would take a bunch of work to change it's*/
184 /* color, do underline on hover, and line it up with the rest*/
187 font-family: 'fontello';
188 src: url('/font/fontello.eot?97936362');
189 src: url('/font/fontello.eot?97936362#iefix') format('embedded-opentype'),
190 url('/font/fontello.woff2?97936362') format('woff2'),
191 url('/font/fontello.woff?97936362') format('woff'),
192 url('/font/fontello.ttf?97936362') format('truetype'),
193 url('/font/fontello.svg?97936362#fontello') format('svg');
197 [class^="icon-"]:before, [class*=" icon-"]:before {
198 font-family: "fontello";
203 display: inline-block;
204 text-decoration: inherit;
210 /* For safety - reset parent styles, that can break glyph codes*/
211 font-variant: normal;
212 text-transform: none;
214 /* fix buttons height, for twitter bootstrap */
217 /* Animation center compensation - margins should be symmetric */
218 /* remove if not needed */
221 /* you can be more comfortable with increased icons size */
222 /* font-size: 120%; */
224 /* Font smoothing. That was taken from TWBS */
225 -webkit-font-smoothing: antialiased;
226 -moz-osx-font-smoothing: grayscale;
228 /* Uncomment for 3D effect */
229 /* text-shadow: 1px 1px 1px rgba(127, 127, 127, 0.3); */
231 .icon-rss:before { content: '\f09e'; } /* '' */
235 /* from https://jekyllrb.com/docs/templates/#code-snippet-highlighting*/
236 /* links to a 6 year old css file supposedly used by github:*/
237 /* https://github.com/mojombo/tpw/blob/master/css/syntax.css*/
238 /* googling jekyll source code css, leads*/
239 /* https://github.com/jwarby/jekyll-pygments-themes, which seems ok,*/
240 /* but I'm curious what the upstream default is. I find rogue has no*/
241 /* default. pygments does, so I do that:*/
242 /* http://pygments.org/docs/quickstart/*/
243 /* fire up python2,*/
245 /* from pygments.formatters import HtmlFormatter */
246 /* print HtmlFormatter().get_style_defs('.highlight')*/
265 .highlight .c, .highlight .cd {
271 background-color: #e3d2d2;
275 background-color: #ffdddd;
289 background-color: #ddffdd;
330 .highlight .k, .highlight .kv {
349 .highlight .m, .highlight .mb, .highlight .mx {
453 background-color: #f8f8f8;