1 // https://github.com/necolas/normalize.css
6 // It sits too high by default.
7 vertical-align: middle;
11 // add some space at top and bottom of comment section
16 // whitespace doesn't cut it to differentiate multiple comments,
18 border-top-color: $comment-br-color;
19 border-top-style: solid;
20 border-top-width: 0.716667px; // copied from stackoverflow.
24 .comment-stripe code {
25 // differentiate comments, don't colorize code
26 background-color: $comment-background-color;
30 // make the top/bottom of comments have more space
35 background-color: $content-color; // go with theme, avoid bright white.
41 // color textarea when selected, and for submit button,
42 // without 3d effect, we need a different color.
43 background: $text-input-color;
49 border: 0; // flat is better than default 3d thing
50 margin-bottom: 10px; // add some space between input and submit button
51 padding: 5px; // by default text input hugs the edges too much
54 // if this is filled out, we can assume it's spam. common tactic.
61 // make the comment box be full width
67 // i dun like the default bullet points
68 list-style-type: none;
72 // for site index lists, bigger font, no indent, more space
79 font-size: 18px; // default too small
80 line-height: 1.5; // default is too scrunched
84 color: $comment-date-color;
95 letter-spacing: -1px; // default too wide, found randomly
96 margin: 0; // default is too much below where the date is.
99 // make the header links less prominent.
100 // link color in top navigation is better as some less eye
104 color: $page-header-link-color;
118 .main-content-stripe {
119 // i don't like bright white. copy a gitweb color
120 background-color: $content-color;
137 // auto does the centering magic
142 max-width: $main-column-max-width; // default too wide
148 background-color: $inline-code-background-color;
149 // defaults are squished next to the borders of the color change
155 // mono text is wider, so use smaller font to compensate
160 // defaults are squished next to the borders of the color change
165 // taken from wikipedia. purple links get a bit old.
168 text-decoration: none;
172 text-decoration: underline;
176 color: $link-visited-color;
179 @import "subscribe-char";
180 @import "code-highlight";