mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-02-16 07:30:16 +00:00
93 lines
3.8 KiB
CSS
93 lines
3.8 KiB
CSS
/* ###
|
|
* IP: GHIDRA
|
|
*
|
|
* 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.
|
|
*/
|
|
/*
|
|
WARNING!
|
|
Java Help Note: JavaHelp does not accept sizes (like in 'margin-top') in anything but
|
|
px (pixel) or with no type marking.
|
|
|
|
The blockquote tag is used heavily to control indentation throughout the help docs. Place the
|
|
blockquote tag around other elements to create a standard indentation. The default values of
|
|
blockquote are:
|
|
|
|
blockquote {
|
|
display: block;
|
|
margin-top: 1em;
|
|
margin-bottom: 1em;
|
|
margin-left: 40px;
|
|
margin-right: 40px;
|
|
}
|
|
|
|
*/
|
|
|
|
|
|
/*
|
|
Add some indentation for lists to show their relation to the preceding text. The value is
|
|
chosen based on the left margin of the body and the blockquote.
|
|
*/
|
|
ul { margin-left: 50px; }
|
|
ol { margin-left: 50px; }
|
|
li { font-family:times new roman; font-size:14pt; margin-left: 5px; }
|
|
|
|
|
|
h1 { color:#000080; font-family:times new roman; font-size:36pt; font-style:italic; font-weight:bold; text-align:center; }
|
|
h2 { margin: 10px; margin-top: 20px; color:#984c4c; font-family:times new roman; font-size:18pt; font-weight:bold; }
|
|
h3 { margin-left: 10px; margin-top: 20px; color:#0000ff; font-family:times new roman; font-size:14pt; font-weight:bold; }
|
|
h4 { margin-left: 10px; margin-top: 20px; font-family:times new roman; font-size:14pt; font-style:italic; }
|
|
h5 { margin-left: 10px; margin-top: 20px; font-family:times new roman; font-size:12pt; font-style:italic; }
|
|
|
|
|
|
/*
|
|
A class to be used for showing screenshot style images. These images will have padding above
|
|
and below the image and will be centered. To apply this to a file path, use this syntax:
|
|
<DIV class="image"><IMG src="..." /></DIV>
|
|
*/
|
|
div.image { margin-top: 20px; margin-bottom: 40px; text-align: center; }
|
|
|
|
|
|
|
|
/*
|
|
P tag code. Most of the help files nest P tags inside of blockquote tags (the was the
|
|
way it had been done in the beginning). The net effect is that the text is indented. In
|
|
modern HTML we would use CSS to do this. We need to support the Ghidra P tags, nested in
|
|
blockquote tags, as well as naked P tags. The following two lines accomplish this. Note
|
|
that the 'blockquote p' definition will inherit from the first 'p' definition.
|
|
*/
|
|
p { margin-left: 40px; font-family:times new roman; font-size:14pt; }
|
|
blockquote p { margin-left: 10px; }
|
|
p.providedbyplugin { color:#7f7f7f; margin-left: 10px; font-size:14pt; margin-top:100px }
|
|
p.relatedtopic { color:#800080; margin-left: 10px; font-size:14pt; }
|
|
p.image { margin-top: 100; margin-bottom: 100; }
|
|
|
|
|
|
/*
|
|
We wish for a tables to have space between it and the preceding element, so that text
|
|
is not too close to the top of the table. Also, nest the table a bit so that it is clear
|
|
the table relates to the preceding text.
|
|
*/
|
|
table { margin-left: 20px; margin-top: 10px; width: 80%;}
|
|
td { font-family:times new roman; font-size:14pt; vertical-align: top; }
|
|
th { font-family:times new roman; font-size:14pt; font-weight:bold; background-color: #EDF3FE; }
|
|
|
|
|
|
|
|
/*
|
|
Code-like formatting for things such as file system paths and proper names of classes,
|
|
methods, etc. To apply this to a file path, use this syntax:
|
|
<CODE CLASS="path">...</CODE>
|
|
*/
|
|
code { color: black; font-weight: bold; font-family: courier new, monospace; font-size: 14pt; white-space: nowrap; }
|
|
code.path { color: #4682B4; font-weight: bold; font-family: courier new, monospace; font-size: 14pt; white-space: nowrap; }
|