annotate src/org/eclipse/jetty/jetty-dir.css @ 914:54308d65265a

simplify SelectorManager
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 09 Oct 2016 01:22:55 -0600
parents fc3e366caa51
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
805
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 body
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 {
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 background-color: #FFFFFF;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 margin: 10px;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 padding: 5px;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 }
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 h1
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 {
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 text-shadow: #000000 -1px -1px 1px;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 color: #FC390E;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 font-weight: bold;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 }
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 a
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 {
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 color: #7036be;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 font-weight: bold;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 font-style: normal;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 text-decoration: none;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 font-size:inherit;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 }
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 td
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 {
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 font-style: italic;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 padding: 2px 15px 2px 0px;
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 }
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30
fc3e366caa51 add jetty-dir.css
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31