bottleneck testcase based on rubbos
[bottlenecks.git] / rubbos / app / tomcat-connectors-1.2.32-src / docs / style.css
1 /*
2  * Licensed to the Apache Software Foundation (ASF) under one or more
3  * contributor license agreements.  See the NOTICE file distributed with
4  * this work for additional information regarding copyright ownership.
5  * The ASF licenses this file to You under the Apache License, Version 2.0
6  * (the "License"); you may not use this file except in compliance with
7  * the License.  You may obtain a copy of the License at
8  *
9  *     http://www.apache.org/licenses/LICENSE-2.0
10  *
11  * Unless required by applicable law or agreed to in writing, software
12  * distributed under the License is distributed on an "AS IS" BASIS,
13  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14  * See the License for the specific language governing permissions and
15  * limitations under the License.
16  */
17 div.screen {
18     margin: 10px 0px 10px 20px;
19     font-size: smaller;
20     color: #ffffff; 
21 }
22 div.example {
23     background-color: #e5ecf3;
24     color: #000;
25     padding: 0.5em;
26     margin: 1em 2em 1em 1em;
27 }
28 pre {
29     font-family: "Courier New", Courier, monospace;
30     font-weight: normal;
31     font-style: normal;
32     font-size: smaller;
33 }
34 em.screen {
35     font-weight: normal;
36     font-style: normal;
37     color: #c0c0c0;
38 }
39 p.screen {
40     background-color: #000000;
41     border-style: none;
42     color: #c0c0c0;
43     margin-left: 10px;
44     margin-right: 0px;
45     text-align: left;         
46 }
47 b.screen {
48     font-weight: normal;
49     font-style: normal;
50     color: #c0c0c0;
51 }   
52 code.screen {
53     background-color: #000000;
54     border-style: none;
55     color: #c0c0c0;
56     margin-left: 10px;
57     margin-right: 0px;
58     text-align: left; 
59 }
60 b.code {
61     font-weight: normal;
62     font-style: normal;
63     color: #023264;
64 }
65 p.todo {
66     background-color: #ffffff;
67     border-style: none;
68     color: #000000;
69     margin-left: 20px;
70     margin-right: 10px;
71     text-align: justify;
72     font-size: smaller;
73 }