blob: 12da3b2eff9bb890526628159080d0940c571164 [file] [log] [blame]
/*
* Copyright 1999-2004 The Apache Software Foundation
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
body {
margin: 0;
font-family: "verdana", "tahoma", "arial", "helvetica", sans-serif;
font-size: 9pt;
}
td.logo {
background-color: @body-bg@;
border-style: none;
}
td.nil {
font-size: 1px;
}
td.head {
background-color: #999999;
border-style: solid;
border-width: 1px;
border-color: #cccccc #666666 #666666 #cccccc;
font-weight: bold;
font-size: smaller;
color: #cccccc;
padding: 2px;
text-align: right;
}
a.head:link {
text-decoration: none;
color: #cccccc;
}
a.head:visited {
text-decoration: none;
color: #cccccc;
}
a.head:active {
text-decoration: underline;
color: #ffffff;
}
a.head:hover {
text-decoration: underline;
color: #ffffff;
}
table.menu {
background-color: #cccccc;
border-style: solid;
border-width: 1px;
border-color: #cccccc #999999 #999999 #999999;
font-weight: bold;
font-size: smaller;
color: #000000;
padding: 2px;
text-align: left;
margin-left: 5px;
}
a.menu:link {
text-decoration: none;
color: #333333;
}
a.menu:visited {
text-decoration: none;
color: #333333;
}
a.menu:active {
text-decoration: underline;
color: #000000;
}
a.menu:hover {
text-decoration: underline;
color: #000000;
}
td.body {
background-color: #ffffff;
border-style: none;
padding: 4px;
text-align: justify;
}
td.section {
background-color: @banner-bg@;
border-style: none;
font-weight: bold;
font-size: bigger;
color: @banner-fg@;
padding: 1px;
text-align: left;
}
td.subsection {
background-color: @banner-bg@;
border-style: none;
font-weight: bold;
font-size: smaller;
color: @banner-fg@;
padding: 0px;
text-align: left;
}
p.section {
background-color: #ffffff;
border-style: none;
color: #000000;
margin-left: 20px;
margin-right: 10px;
text-align: justify;
}
pre.section {
margin-left: 20px;
}
td.section {
background-color: @sub-banner-bg@;
border-style: none;
font-weight: bold;
font-size: bigger;
color: @sub-banner-fg@;
padding: 0px;
text-align: left;
}
p.todo {
background-color: #ffffff;
border-style: none;
color: #000000;
margin-left: 20px;
margin-right: 10px;
text-align: justify;
font-size: smaller;
}
p.screen {
background-color: #ffffff;
border-style: none;
color: #000000;
margin-left: 10px;
margin-right: 0px;
text-align: left;
}
code.screen {
background-color: #cccccc;
border-style: none;
color: #000000;
margin-left: 10px;
margin-right: 0px;
text-align: left;
}
p.screendos {
background-color: #000000;
border-style: none;
color: #c0c0c0;
margin-left: 10px;
margin-right: 0px;
text-align: left;
}
code.screendos {
background-color: #000000;
border-style: none;
color: #c0c0c0;
margin-left: 10px;
margin-right: 0px;
text-align: left;
}
p.screen5250 {
background-color: #000000;
border-style: none;
color: #00ff00;
margin-left: 10px;
margin-right: 0px;
text-align: left;
}
code.screen5250 {
background-color: #000000;
border-style: none;
color: #00ff00;
margin-left: 10px;
margin-right: 0px;
text-align: left;
}
div.screen {
margin: 10px 0px 10px 20px;
font-size: smaller;
color: #666666;
}
div.screendos {
margin: 10px 0px 10px 20px;
font-size: smaller;
color: #ffffff;
}
div.screen5250 {
margin: 10px 0px 10px 20px;
font-size: smaller;
color: #66ff66;
}
em.screen {
font-weight: normal;
font-style: normal;
color: #666666;
}
em.screendos {
font-weight: normal;
font-style: normal;
color: #c0c0c0;
}
em.screen5250 {
font-weight: normal;
font-style: normal;
color: #00ff00;
}
b.screen {
font-weight: normal;
font-style: normal;
color: #0000ff;
}
b.screendos {
font-weight: normal;
font-style: normal;
color: #c0c0c0;
}
b.screen5250 {
font-weight: normal;
font-style: normal;
color: #00ff00;
}
b.code {
font-weight: normal;
font-style: normal;
color: @source-color@;
}