e79d352b17402ee1c2a3a8ab3e7b546d84f87e04
[iankelling.org] / css / main.scss
1 // https://github.com/necolas/normalize.css
2 @import "normalize";
3 @import "common";
4 @import "subscribe-char";
5 @import "code-highlight";
6
7 .cc-by-sa {
8 // It sits too high by default.
9 vertical-align: middle;
10 }
11
12 .comments {
13 // add some space at top and bottom of comment section
14 margin: 50px 0;
15 }
16
17 .comment {
18 // whitespace doesn't cut it to differentiate multiple comments,
19 // so use a line
20 border-top-color: $comment-br-color;
21 border-top-style: solid;
22 border-top-width: 0.716667px; // copied from stackoverflow.
23 }
24
25 .comment-stripe,
26 .comment-stripe code {
27 // differentiate comments, don't colorize code
28 background-color: $comment-background-color;
29 }
30
31 .comment-section {
32 // make the top/bottom of comments have more space
33 padding-bottom: 30px;
34 padding-top: 30px;
35
36 textarea {
37 background-color: $content-color; // go with theme, avoid bright white.
38 }
39
40 input:hover,
41 textarea:active,
42 textarea:focus {
43 // color textarea when selected, and for submit button,
44 // without 3d effect, we need a different color.
45 background: $text-input-color;
46 }
47 }
48
49 textarea,
50 input {
51 border: 0; // flat is better than default 3d thing
52 margin-bottom: 10px; // add some space between input and submit button
53 padding: 5px; // by default text input hugs the edges too much
54 }
55
56 // if this is filled out, we can assume it's spam. common tactic.
57 .misc-comment-input {
58 display: none;
59 }
60
61 textarea {
62 // make the comment box be full width
63 width: 100%;
64 }
65
66 ul {
67 // i dun like the default bullet points
68 list-style-type: none;
69 }
70
71 li {
72 // to compensate for no bullet points, we need extra space between list items
73 // in the case of small screens where they wrap.
74 margin-top: 12px;
75 }
76
77 .site-nav-list {
78 // for site index lists, bigger font, no indent
79 font-size: 22px;
80 padding-left: 0;
81 }
82
83 body {
84 font-size: 18px; // default too small
85 line-height: 1.5; // default is too scrunched
86 }
87
88 .comment-date {
89 color: $comment-date-color;
90 font-size: 15px;
91 margin-top: 0;
92 }
93
94 .post-date {
95 font-size: 15px;
96 margin: 5px 0;
97 }
98
99 .post-title {
100 letter-spacing: -1px; // default too wide, found randomly
101 margin: 0; // default is too much below where the date is.
102 }
103
104 // make the header links less prominent.
105 // link color in top navigation is better as some less eye
106 // catching color.
107 header a:visited,
108 header a {
109 color: $page-header-link-color;
110 }
111
112 .post-header {
113 margin-bottom: 30px;
114 }
115
116
117 h1,
118 h2,
119 h3 {
120 line-height: 1.2;
121 }
122
123 .main-content-stripe {
124 // i don't like bright white. copy a gitweb color
125 background-color: $content-color;
126 padding: 30px 0;
127 }
128
129 footer {
130 font-size: 15px;
131 padding: 30px 0;
132
133 p {
134 margin: 0;
135 }
136 }
137
138 .comment-section,
139 .content,
140 .page_header,
141 footer {
142 // auto does the centering magic
143 margin-bottom: 0;
144 margin-left: auto;
145 margin-right: auto;
146 margin-top: 0;
147 max-width: $main-column-max-width; // default too wide
148 padding-left: 30px;
149 padding-right: 30px;
150 }
151
152 code {
153 background-color: $inline-code-background-color;
154 // defaults are squished next to the borders of the color change
155 padding: 1px 5px;
156 }
157
158 code,
159 pre {
160 // mono text is wider, so use smaller font to compensate
161 font-size: 15px;
162 }
163
164 pre {
165 // defaults are squished next to the borders of the color change
166 padding: 6px 8px;
167 }
168
169
170 // taken from wikipedia. purple links get a bit old.
171 a {
172 color: $link-color;
173 text-decoration: none;
174 }
175
176 a:hover {
177 text-decoration: underline;
178 }
179
180 a:visited {
181 color: $link-visited-color;
182 }
183