annotate src/site.css @ 34:c385a4f75b10

add java fork
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 27 May 2023 16:27:48 -0600
parents d84e76175dd5
children 5b4d5cf453a8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 * {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 box-sizing: border-box;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 body {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 font-family: Sans-Serif;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 margin: 0;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 a {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 text-decoration: none;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 a:hover {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 text-decoration: underline;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 div[header] {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 font-size: 14px;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 background-color: #ddd;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 padding: 8px 3%;
31
Franklin Schmidt <fschmidt@gmail.com>
parents: 14
diff changeset
21 display: flex;
Franklin Schmidt <fschmidt@gmail.com>
parents: 14
diff changeset
22 justify-content: space-between;
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 [content] {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 margin-left: 3%;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 margin-right: 3%;
14
44025d01ad7e add bash
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
28 margin-bottom: 2em;
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 ul[links] {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 margin-top: 32px;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 list-style-type: none;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 padding-left: 0;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 ul[links] li {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 margin: 12px 0;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 }
32
d84e76175dd5 add dad
Franklin Schmidt <fschmidt@gmail.com>
parents: 31
diff changeset
39
d84e76175dd5 add dad
Franklin Schmidt <fschmidt@gmail.com>
parents: 31
diff changeset
40 img[src="external_link.svg"] {
d84e76175dd5 add dad
Franklin Schmidt <fschmidt@gmail.com>
parents: 31
diff changeset
41 height: 12px;
d84e76175dd5 add dad
Franklin Schmidt <fschmidt@gmail.com>
parents: 31
diff changeset
42 }