make/data/docs-resources/resources/jdk-default.css - master - githubmirror/panama-vector

make/data/docs-resources/resources/jdk-default.css
244 строки5 KB
Hannes Wallnöfer
8329617: Update stylesheet for specs and tool documentation
17 май 2024, 15:32
17 май 2024, 15:324eb1eaf
/*
 * Copyright (c) 2017, 2024, 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.
 */

@import url('../api/resource-files/fonts/dejavu.css');

body {
  font-family: DejaVu Sans, Bitstream Vera Sans, Luxi Sans, Verdana, Arial, Helvetica, sans-serif;
  font-size: 10pt;
  margin: 0;
  padding: 0;
  height: 100%;
  width: 100%;
  min-width: 100%;
  line-height: 1.4;
}

pre, code, tt {
    font-family: DejaVu Sans Mono, Bitstream Vera Sans Mono, Luxi Mono, Courier New, monospace;
}

main, footer {
  margin: 16px 27px;
}

/* Adjust horizontal margin for content elements outside of main element */
:is(body, header) > :is(nav, h1, h2, h3, h4, h5, h6, p, .sub-title) {
    margin-left: 27px;
    margin-right: 27px;
}

blockquote {
  margin: 1.5ex 0 1.5ex 2em;
}

p {
  margin-top: 1ex;
  margin-bottom: 1ex;
}

dd > p:first-child, pre:first-child {
  margin-top: 0;
}

h1:first-child, h2:first-child {
  margin-top: 0;
}

h1, h2 {
  margin-top: 2ex;
  margin-bottom: 1ex;
}

h3, h4, h5 {
  margin-top: 1.5ex;
  margin-bottom: 1ex;
}

h4, h5 {
  font-size: 100%;
}

.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: 0;
}

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: 11.2px;
  padding: 6px;
  line-height: initial;
}

.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  "
}

/* Rules below replicate sizing of navigation bar in API docs */
header#title-block-header div.navbar {
    padding: 0 20px 0 26px;
    margin-bottom: 30px;
    background-color: #4D7A97;
    color: #FFFFFF;
    height: 44px;
    overflow: hidden;
    font-size: 0.857em;
    line-height: initial;
    display: flex;
    flex-direction: row-reverse;
    align-items: center;
}

header#title-block-header div.navbar nav {
    flex: 1 1 auto;
    font-size: 12px;
    white-space: nowrap;
}

header#title-block-header div.navbar div {
    flex: 0 0 auto;
    font-size: 10.978px;
    white-space: nowrap;
}

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;
}