mirrors
/
cpython
mirror of https://github.com/python/cpython.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

more HTML styling detail changes

This commit is contained in:
Fred Drake 2004-11-10 17:56:29 +00:00
parent 5d93eef263
commit 9c8149a162
2 changed files with 16 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
Doc/html/style.css
View File

@ -50,6 +50,14 @@ h1 { font-size: 180%; }
h2 { font-size: 150%; }
h3, h4 { font-size: 120%; }
/* These are section titles used in navigation links, so make sure we
* match the section header font here, even it not the weight.
*/
.sectref { font-family: avantgarde, sans-serif; }
/* And the label before the titles in navigation: */
.navlabel { font-size: 85%; }
/* LaTeX2HTML insists on inserting <br> elements into headers which
* are marked with \label. This little bit of CSS magic ensures that
* these elements don't cause spurious whitespace to be added.
@ -63,6 +71,8 @@ code, tt { font-family: "lucida typewriter", lucidatypewriter,
font-style: italic;
font-weight: normal; }
.Unix { font-variant: small-caps; }
.typelabel { font-family: lucida, sans-serif; }
.navigation td { background-color: #99ccff;
@ -89,7 +99,9 @@ .typelabel { font-family: lucida, sans-serif; }
div.note .label { margin-right: 0.5em;
font-family: sans-serif; }
.release-info { font-style: italic; }
address { font-size: 80%; }
.release-info { font-style: italic;
font-size: 80%; }
.titlegraphic { vertical-align: top; }

6
Doc/perl/python.perl
View File

@ -106,7 +106,7 @@ sub do_cmd_sub{
# words typeset in a special way (not in HTML though)
sub do_cmd_ABC{ 'ABC' . $_[0]; }
sub do_cmd_UNIX{ '<font style="font-variant: small-caps;">Unix</font>'
sub do_cmd_UNIX{ '<span class="Unix">Unix</span>'
. $_[0]; }
sub do_cmd_ASCII{ 'ASCII' . $_[0]; }
sub do_cmd_POSIX{ 'POSIX' . $_[0]; }
@ -239,7 +239,7 @@ sub do_cmd_var{
sub do_cmd_dfn{
return use_wrappers($_[0], '<i class="dfn">', '</i>'); }
sub do_cmd_emph{
return use_wrappers($_[0], '<i>', '</i>'); }
return use_wrappers($_[0], '<em>', '</em>'); }
sub do_cmd_file{
return use_wrappers($_[0], '<span class="file">', '</span>'); }
sub do_cmd_filenq{
@ -249,7 +249,7 @@ sub do_cmd_samp{
sub do_cmd_kbd{
return use_wrappers($_[0], '<kbd>', '</kbd>'); }
sub do_cmd_strong{
return use_wrappers($_[0], '<b>', '</b>'); }
return use_wrappers($_[0], '<strong>', '</strong>'); }
sub do_cmd_textbf{
return use_wrappers($_[0], '<b>', '</b>'); }
sub do_cmd_textit{