Mercurial Hosting > disearch

annotate src/tools/tools.css @ 13:af2b95854072

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add server records
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 30 Oct 2023 21:32:42 -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 }