5 /* It sits too high by default. */
6 vertical-align: middle;
10 /* add some space at top and bottom of comment section */
16 /* whitespace doesn't cut it to differentiate multiple comments,*/
18 border-top-style: solid;
19 border-top-color: $comment-br-color;
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: $comment-background-color;
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. */
40 background: $text-input-color;
43 #comment-section textarea {
44 /* go with theme, avoid bright white. */
45 background-color: $content-color;
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 color: $comment-date-color;
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. */
113 color: $page-header-link-color;
124 .main-content-stripe {
125 /* i don't like bright white. copy a gitweb color */
126 background-color: $content-color;
135 .page_header,footer,.content,#comment-section {
143 /* default too wide */
144 max-width: $main-column-max-width;
151 background-color: $inline-code-background-color;
152 /* defaults are squished next to the borders of the color change */
157 /* mono text is wider, so use smaller font to compensate */
162 /* defaults are squished next to the borders of the color change */
167 /* taken from wikipedia. purple links get a bit old. */
170 text-decoration: none;
173 text-decoration: underline;
176 color: $link-visited-color;
180 @import "subscribe-char";
181 @import "code-highlight";