1 /*
   2  * Copyright (c) 2017, 2019, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.  Oracle designates this
   8  * particular file as subject to the "Classpath" exception as provided
   9  * by Oracle in the LICENSE file that accompanied this code.
  10  *
  11  * This code is distributed in the hope that it will be useful, but WITHOUT
  12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14  * version 2 for more details (a copy is included in the LICENSE file that
  15  * accompanied this code).
  16  *
  17  * You should have received a copy of the GNU General Public License version
  18  * 2 along with this work; if not, write to the Free Software Foundation,
  19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  20  *
  21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  22  * or visit www.oracle.com if you need additional information or have any
  23  * questions.
  24  */
  25 
  26 body {
  27   margin: 2em 2em;
  28   font-family: DejaVu Sans, Bitstream Vera Sans, Luxi Sans, Verdana, Arial, Helvetica, sans-serif;
  29   font-size: 10pt;
  30   line-height: 1.4;
  31 }
  32 
  33 pre, code, tt {
  34   font-family: DejaVu Sans Mono, Bitstream Vera Sans Mono, Luxi Mono,
  35     Courier New, monospace;
  36 }
  37 
  38 blockquote {
  39   margin: 1.5ex 0em 1.5ex 2em;
  40 }
  41 
  42 p {
  43   padding: 0pt;
  44   margin: 1ex 0em;
  45 }
  46 
  47 p:first-child, pre:first-child { margin-top: 0pt; }
  48 
  49 h1 {
  50   font-weight: bold;
  51   padding: 0pt;
  52   margin: 2ex .5ex 1ex 0pt;
  53 }
  54 
  55 h1:first-child, h2:first-child {
  56   margin-top: 0ex;
  57 }
  58 
  59 h2 {
  60   font-weight: bold;
  61   padding: 0pt;
  62   margin: 2ex 0pt 1ex 0pt;
  63 }
  64 
  65 h3 {
  66   font-weight: bold;
  67   padding: 0pt;
  68   margin: 1.5ex 0pt 1ex 0pt;
  69 }
  70 
  71 h4, h5 {
  72   font-size: 100%;
  73   font-weight: bold;
  74   padding: 0pt;
  75   margin: 1.5ex 0pt 1ex 0pt;
  76 }
  77 
  78 .subtitle {
  79     font-style: italic;
  80     font-weight: bold;
  81     margin-bottom: 1em;
  82 }
  83 
  84 h1.title + .subtitle {
  85     margin-top: -1em;
  86 }
  87 
  88 a { text-decoration: none }
  89 
  90 a:link {
  91   color: #4A6782;
  92 }
  93 
  94 a:visited {
  95   color: #666666;
  96 }
  97 
  98 a[href]:hover {
  99   color: #e76f00;
 100 }
 101 
 102 a img {
 103   border-width: 0px;
 104 }
 105 
 106 img {
 107   background: white;
 108 }
 109 
 110 table {
 111   border-collapse: collapse;
 112   margin-left: 15px;
 113   margin-right: 15px;
 114 }
 115 
 116 th, td {
 117   padding: 3px;
 118   vertical-align: top;
 119 }
 120 
 121 table, th, td {
 122   border: 1px solid black;
 123 }
 124 
 125 caption  {
 126   text-align: left;
 127   font-style: italic;
 128   text-indent: 15px;
 129   margin-bottom:10px;
 130 }
 131 
 132 tr:nth-child(even), tr:nth-child(even) th[scope=row] {
 133   background: #E3E3E3;
 134 }
 135 
 136 tr:nth-child(odd), tr:nth-child(odd) th[scope=row] {
 137   background: #FFF;
 138 }
 139 
 140 th {
 141   background: #DDF;
 142 }
 143 
 144 table.centered {
 145   margin-left: auto;
 146   margin-right: auto;
 147 }
 148 table.centered td {
 149   text-align: left;
 150 }
 151 .centered {
 152   text-align: center;
 153 }
 154 
 155 .draft-header {
 156   text-align: center;
 157   font-size: 80%;
 158   padding: 6px;
 159   margin: -2.5em -2.5em 2.5em -2.5em;
 160   background-color: #CBDAE4;
 161 }
 162 
 163 .legal-footer {
 164     font-style: italic;
 165     font-size: 80%;
 166 }
 167 
 168 nav#TOC {
 169   border: 1px solid gray;
 170   border-radius: 10px;
 171   padding: 5px 10px;
 172   margin-bottom: 15px;
 173 }
 174 
 175 nav#TOC ul ul {
 176     font-size:smaller;
 177 }
 178 
 179 nav#TOC ul ul li {
 180     display: inline-block
 181 }
 182 
 183 nav#TOC ul ul li::before {
 184     content: " \2022  "
 185 }