annotate src/tools/tools.css @ 16:552d6f944acb

add bump
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 01 Nov 2023 17:34:15 -0600
parents 43814e9f5802
children
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 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 a {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 text-decoration: none;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 }
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 a:hover {
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 text-decoration: underline;
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 }
3
43814e9f5802 add config
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
15
43814e9f5802 add config
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
16 input[type="submit"] {
43814e9f5802 add config
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
17 cursor: pointer;
43814e9f5802 add config
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
18 }