mirror of
https://github.com/HDFGroup/hdf5.git
synced 2024-11-27 02:10:55 +08:00
0937359ed3
Purpose:
Adding stylesheets to the HDF5 doc set (via DW libraries).
Description:
These HTML stylesheets are for consistently managing formatting issues.
The *Elect* stylesheets will be used in the distributed HTML doc set,
i.e., the electronic version; the *Print* stylesheets will be used to
generate printer-friendly versions.
Platforms tested:
IE 5 and 6
Netscape
58 lines
1.2 KiB
CSS
58 lines
1.2 KiB
CSS
<STYLE TYPE="text/css">
|
|
|
|
P, p, UL, ul, OL, ol, LI, li, DL, dl, DT, dt, DD, dd {
|
|
font-family: garamond, "times new roman", times, serif;
|
|
font-size: 11pt;
|
|
}
|
|
|
|
A, a {
|
|
color: black;
|
|
text-decoration: none;
|
|
}
|
|
|
|
H1, h1 {
|
|
font-family: garamond, "times new roman", times, serif;
|
|
font-size: 18pt;
|
|
font-weight: bold;
|
|
text-align: center
|
|
}
|
|
|
|
H2, h2 {
|
|
font-family: garamond, "times new roman", times, serif;
|
|
font-size: 16pt;
|
|
font-weight: bold;
|
|
}
|
|
|
|
H3, h3 {
|
|
font-family: garamond, "times new roman", times, serif;
|
|
font-size: 14pt;
|
|
font-weight: bold;
|
|
}
|
|
|
|
H4, h4 {
|
|
font-family: garamond, "times new roman", times, serif;
|
|
font-size: 12pt;
|
|
font-weight: bold;
|
|
}
|
|
|
|
H5, h5 {
|
|
font-family: garamond, "times new roman", times, serif;
|
|
font-size: 10pt;
|
|
font-weight: bold;
|
|
}
|
|
|
|
code, CODE {
|
|
font-family: "Courier New", Courier, Monospace;
|
|
font-size: 9pt;
|
|
}
|
|
|
|
pre, PRE {
|
|
font-family: "Courier New", Courier, Monospace;
|
|
font-size: 8pt;
|
|
}
|
|
|
|
.smallType {
|
|
font-size: 9pt;
|
|
}
|
|
|
|
</STYLE> |