237 lines
4.3 KiB
CSS
237 lines
4.3 KiB
CSS
/*
|
|
* Copyright (c) 2017, 2019, Oracle and/or its affiliates. All rights reserved.
|
|
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
|
*
|
|
* This code is free software; you can redistribute it and/or modify it
|
|
* under the terms of the GNU General Public License version 2 only, as
|
|
* published by the Free Software Foundation. Oracle designates this
|
|
* particular file as subject to the "Classpath" exception as provided
|
|
* by Oracle in the LICENSE file that accompanied this code.
|
|
*
|
|
* This code is distributed in the hope that it will be useful, but WITHOUT
|
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
* version 2 for more details (a copy is included in the LICENSE file that
|
|
* accompanied this code).
|
|
*
|
|
* You should have received a copy of the GNU General Public License version
|
|
* 2 along with this work; if not, write to the Free Software Foundation,
|
|
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
*
|
|
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
|
|
* or visit www.oracle.com if you need additional information or have any
|
|
* questions.
|
|
*/
|
|
|
|
body {
|
|
margin: 2em 2em;
|
|
font-family: DejaVu Sans, Bitstream Vera Sans, Luxi Sans, Verdana, Arial, Helvetica, sans-serif;
|
|
font-size: 10pt;
|
|
line-height: 1.4;
|
|
}
|
|
|
|
pre, code, tt {
|
|
font-family: DejaVu Sans Mono, Bitstream Vera Sans Mono, Luxi Mono,
|
|
Courier New, monospace;
|
|
}
|
|
|
|
blockquote {
|
|
margin: 1.5ex 0em 1.5ex 2em;
|
|
}
|
|
|
|
p {
|
|
padding: 0pt;
|
|
margin: 1ex 0em;
|
|
}
|
|
|
|
p:first-child, pre:first-child { margin-top: 0pt; }
|
|
|
|
h1 {
|
|
font-weight: bold;
|
|
padding: 0pt;
|
|
margin: 2ex .5ex 1ex 0pt;
|
|
}
|
|
|
|
h1:first-child, h2:first-child {
|
|
margin-top: 0ex;
|
|
}
|
|
|
|
h2 {
|
|
font-weight: bold;
|
|
padding: 0pt;
|
|
margin: 2ex 0pt 1ex 0pt;
|
|
}
|
|
|
|
h3 {
|
|
font-weight: bold;
|
|
padding: 0pt;
|
|
margin: 1.5ex 0pt 1ex 0pt;
|
|
}
|
|
|
|
h4, h5 {
|
|
font-size: 100%;
|
|
font-weight: bold;
|
|
padding: 0pt;
|
|
margin: 1.5ex 0pt 1ex 0pt;
|
|
}
|
|
|
|
.subtitle {
|
|
font-style: italic;
|
|
font-weight: bold;
|
|
margin-bottom: 1em;
|
|
}
|
|
|
|
h1.title + .subtitle {
|
|
margin-top: -1em;
|
|
}
|
|
|
|
a { text-decoration: none }
|
|
|
|
a:link {
|
|
color: #4A6782;
|
|
}
|
|
|
|
a:visited {
|
|
color: #666666;
|
|
}
|
|
|
|
a[href]:hover {
|
|
color: #e76f00;
|
|
}
|
|
|
|
a img {
|
|
border-width: 0px;
|
|
}
|
|
|
|
img {
|
|
background: white;
|
|
}
|
|
|
|
table {
|
|
border-collapse: collapse;
|
|
margin-left: 15px;
|
|
margin-right: 15px;
|
|
}
|
|
|
|
th, td {
|
|
padding: 3px;
|
|
vertical-align: top;
|
|
}
|
|
|
|
table, th, td {
|
|
border: 1px solid black;
|
|
}
|
|
|
|
caption {
|
|
text-align: left;
|
|
font-style: italic;
|
|
text-indent: 15px;
|
|
margin-bottom:10px;
|
|
}
|
|
|
|
tr:nth-child(even), tr:nth-child(even) th[scope=row] {
|
|
background: #E3E3E3;
|
|
}
|
|
|
|
tr:nth-child(odd), tr:nth-child(odd) th[scope=row] {
|
|
background: #FFF;
|
|
}
|
|
|
|
th {
|
|
background: #DDF;
|
|
}
|
|
|
|
table.centered {
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
}
|
|
table.centered td {
|
|
text-align: left;
|
|
}
|
|
.centered {
|
|
text-align: center;
|
|
}
|
|
|
|
.draft-header {
|
|
text-align: center;
|
|
font-size: 80%;
|
|
padding: 6px;
|
|
margin: -2.5em -2.5em 2.5em -2.5em;
|
|
}
|
|
|
|
.legal-footer {
|
|
font-style: italic;
|
|
font-size: 80%;
|
|
}
|
|
|
|
nav#TOC {
|
|
border: 1px solid gray;
|
|
border-radius: 10px;
|
|
padding: 5px 10px;
|
|
margin-bottom: 15px;
|
|
}
|
|
|
|
nav#TOC ul ul {
|
|
font-size:smaller;
|
|
}
|
|
|
|
nav#TOC ul ul li {
|
|
display: inline-block
|
|
}
|
|
|
|
nav#TOC ul ul li::before {
|
|
content: " \2022 "
|
|
}
|
|
|
|
header#title-block-header {
|
|
margin-top:-2em;
|
|
}
|
|
|
|
header#title-block-header div.navbar {
|
|
margin: 0 -2.5em 2.5em -2.5em;
|
|
padding: 0 2.5em;
|
|
background-color:#4D7A97;
|
|
color:#FFFFFF;
|
|
float:left;
|
|
width:100%;
|
|
clear:right;
|
|
min-height:2.8em;
|
|
padding-top:10px;
|
|
overflow:hidden;
|
|
font-size:12px;
|
|
}
|
|
|
|
header#title-block-header div.navbar div {
|
|
float:right;
|
|
font-size:11px;
|
|
height:2.9em;
|
|
margin: auto 0;
|
|
}
|
|
|
|
header#title-block-header ul {
|
|
display:block;
|
|
margin:0 25px 0 0;
|
|
padding:0;
|
|
}
|
|
header#title-block-header ul li {
|
|
list-style:none;
|
|
float:left;
|
|
padding: 5px 6px;
|
|
text-transform:uppercase;
|
|
}
|
|
|
|
header#title-block-header li.no-link {
|
|
background-color:#F8981D;
|
|
color:#253441;
|
|
margin: auto 5px;
|
|
}
|
|
|
|
header#title-block-header a:link, header#title-block-header a:active, header#title-block-header a:visited {
|
|
color:#ffffff;
|
|
text-decoration:none;
|
|
text-transform:uppercase;
|
|
}
|
|
header#title-block-header a:hover {
|
|
color:#bb7a2a;
|
|
}
|