annotate src/tools/tools.css @ 0:24d8dc525146

start
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 19 Oct 2023 22:33:37 -0600
parents
children 43814e9f5802
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 }