mnl/VM-Operator
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages 4 Wiki Activity Actions

Minor updates.

Browse source
This commit is contained in:
Michael Lipp 2024-06-03 23:10:35 +02:00
parent 4617d8d3ba
commit a4bd129252
1 changed files with 22 additions and 32 deletions
Download patch file Download diff file Expand all files Collapse all files

54
misc/stylesheet.css
View file

@ -71,37 +71,31 @@ a[name] {
color:#353833; color:#353833;
} }
pre { pre {
font-family: "DejaVu Sans Mono", monospace; font-family:'DejaVu Sans Mono', monospace;
} }
h1 { h1 {
font-family: "DejaVu Sans", sans;
font-size:20px; font-size:20px;
} }
h2 { h2 {
font-family: "DejaVu Sans", sans;
font-size:18px; font-size:18px;
} }
h3 { h3 {
font-family: "DejaVu Sans", sans;
font-size:16px; font-size:16px;
} }
h4 { h4 {
font-family: "DejaVu Sans", sans;
font-size:15px; font-size:15px;
} }
h5 { h5 {
font-family: "DejaVu Sans", sans;
font-size:14px; font-size:14px;
} }
h6 { h6 {
font-family: "DejaVu Sans", sans;
font-size:13px; font-size:13px;
} }
ul { ul {
list-style-type:disc; list-style-type:disc;
} }
code, tt { code, tt {
font-family: "DejaVu Sans Mono", monospace; font-family:'DejaVu Sans Mono', monospace;
} }
:not(h1, h2, h3, h4, h5, h6) > code, :not(h1, h2, h3, h4, h5, h6) > code,
:not(h1, h2, h3, h4, h5, h6) > tt { :not(h1, h2, h3, h4, h5, h6) > tt {
@ -111,12 +105,12 @@ code, tt {
line-height:1.4em; line-height:1.4em;
} }
dt code { dt code {
font-family: "DejaVu Sans Mono", monospace; font-family:'DejaVu Sans Mono', monospace;
font-size:14px; font-size:14px;
padding-top:4px; padding-top:4px;
} }
.summary-table dt code { .summary-table dt code {
font-family: "DejaVu Sans Mono", monospace; font-family:'DejaVu Sans Mono', monospace;
font-size:14px; font-size:14px;
vertical-align:top; vertical-align:top;
padding-top:4px; padding-top:4px;
@ -124,7 +118,9 @@ dt code {
sup { sup {
font-size:8px; font-size:8px;
} }
button {
font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
}
/* /*
* Styles for HTML generated by javadoc. * Styles for HTML generated by javadoc.
* *
@ -185,7 +181,6 @@ sup {
min-height:2.8em; min-height:2.8em;
padding-top:10px; padding-top:10px;
overflow:hidden; overflow:hidden;
font-family: "DejaVu Sans", sans;
font-size:80%; font-size:80%;
} }
.sub-nav { .sub-nav {
@ -193,7 +188,6 @@ sup {
float:left; float:left;
width:100%; width:100%;
overflow:hidden; overflow:hidden;
font-family: "DejaVu Sans", sans;
font-size:80%; font-size:80%;
} }
.sub-nav div { .sub-nav div {
@ -311,13 +305,16 @@ main {
position:relative; position:relative;
} }
dl.notes > dt { dl.notes > dt {
font-family: "DejaVu Sans", sans; font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
/* font-size:12px; */
font-weight:bold; font-weight:bold;
margin:10px 0 0 0; margin:10px 0 0 0;
color:#4E4E4E; color:#4E4E4E;
} }
dl.notes > dd { dl.notes > dd {
margin:5px 10px 10px 0; margin:5px 10px 0 0;
/* font-size:14px; */
font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
} }
dl.name-value > dt { dl.name-value > dt {
margin-left:1px; margin-left:1px;
@ -389,6 +386,11 @@ ul.see-list-long li:not(:last-child):after {
border-bottom:1px solid #EEE; border-bottom:1px solid #EEE;
padding:0; padding:0;
} }
.summary-table .col-first {
font-family: "DejaVu Sans Mono", monospace;
}
.caption { .caption {
position:relative; position:relative;
text-align:left; text-align:left;
@ -402,7 +404,6 @@ ul.see-list-long li:not(:last-child):after {
padding-left:1px; padding-left:1px;
margin:0; margin:0;
white-space:pre; white-space:pre;
font-family: 'DejaVu Sans';
} }
.caption a:link, .caption a:visited { .caption a:link, .caption a:visited {
color:#1f389c; color:#1f389c;
@ -450,9 +451,6 @@ div.table-tabs > button.table-tab {
display: grid; display: grid;
grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, auto); grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, auto);
} }
#method-summary-table .three-column-summary {
grid-template-columns: minmax(10%, 20%) minmax(15%, max-content) minmax(15%, auto);
}
.four-column-summary { .four-column-summary {
display: grid; display: grid;
grid-template-columns: minmax(10%, max-content) minmax(10%, max-content) minmax(10%, max-content) minmax(10%, auto); grid-template-columns: minmax(10%, max-content) minmax(10%, max-content) minmax(10%, max-content) minmax(10%, auto);
@ -490,7 +488,6 @@ div.table-tabs > button.table-tab {
} }
.table-header { .table-header {
background:#dee3e9; background:#dee3e9;
font-family: 'DejaVu Sans';
font-weight: bold; font-weight: bold;
} }
/* /*
@ -508,7 +505,6 @@ div.table-tabs > button.table-tab {
.col-last { .col-last {
white-space:normal; white-space:normal;
} }
/*
.col-first a:link, .col-first a:visited, .col-first a:link, .col-first a:visited,
.col-second a:link, .col-second a:visited, .col-second a:link, .col-second a:visited,
.col-first a:link, .col-first a:visited, .col-first a:link, .col-first a:visited,
@ -520,7 +516,6 @@ div.table-tabs > button.table-tab {
.all-packages-container a:link, .all-packages-container a:visited { .all-packages-container a:link, .all-packages-container a:visited {
font-weight:bold; font-weight:bold;
} }
*/
.table-sub-heading-color { .table-sub-heading-color {
background-color:#EEEEFF; background-color:#EEEEFF;
} }
@ -537,12 +532,9 @@ div.table-tabs > button.table-tab {
margin:0; margin:0;
padding:10px 0; padding:10px 0;
} }
/*
div.block { div.block {
font-size:14px;
font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif; font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
} }
*/
.col-last div { .col-last div {
padding-top:0; padding-top:0;
} }
@ -553,8 +545,7 @@ div.block {
.package-signature, .package-signature,
.type-signature, .type-signature,
.member-signature { .member-signature {
font-family: "DejaVu Sans Mono", monospace; font-family:'DejaVu Sans Mono', monospace;
/* font-size:14px; */
margin:14px 0; margin:14px 0;
white-space: pre-wrap; white-space: pre-wrap;
} }
@ -593,13 +584,8 @@ h1.hidden {
.deprecated-label, .descfrm-type-label, .implementation-label, .member-name-label, .member-name-link, .deprecated-label, .descfrm-type-label, .implementation-label, .member-name-label, .member-name-link,
.module-label-in-package, .module-label-in-type, .override-specify-label, .package-label-in-type, .module-label-in-package, .module-label-in-type, .override-specify-label, .package-label-in-type,
.package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label { .package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label {
font-family: "DejaVu Sans", sans;
font-weight:bold; font-weight:bold;
} }
.sub-title, .inheritance, .all-packages-table-tab1.col-first,
.summary-table .col-first {
font-family: "DejaVu Sans", sans;
}
.deprecation-comment, .help-footnote, .preview-comment { .deprecation-comment, .help-footnote, .preview-comment {
font-style:italic; font-style:italic;
} }
@ -658,6 +644,7 @@ main, nav, header, footer, section {
ul.ui-autocomplete { ul.ui-autocomplete {
position:fixed; position:fixed;
z-index:999999; z-index:999999;
background-color: #FFFFFF;
} }
ul.ui-autocomplete li { ul.ui-autocomplete li {
float:left; float:left;
@ -667,6 +654,9 @@ ul.ui-autocomplete li {
.result-highlight { .result-highlight {
font-weight:bold; font-weight:bold;
} }
.ui-autocomplete .result-item {
font-size: inherit;
}
#search-input { #search-input {
background-image:url('resources/glass.png'); background-image:url('resources/glass.png');
background-size:13px; background-size:13px;