nxhtml/nxhtml/doc/htmlfontify-example.html

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
   3 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
   4 <html xmlns="http://www.w3.org/1999/xhtml">
   5   <head>
   6     <title></title>
   7 <style type="text/css"><!--
   8 body { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
   9  --></style>
  10 <style type="text/css"><!--
  11 body { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  12 span.default   { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  13 span.default a { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
  14 span.comment-face-1419   { color: rgb(178, 34, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  15 span.comment-face-1419 a { color: rgb(178, 34, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  16 span.comment-delimiter-face-1418   { color: rgb(178, 34, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  17 span.comment-delimiter-face-1418 a { color: rgb(178, 34, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  18  --></style><style type="text/css"><!--
  19 body { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  20 span.default   { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  21 span.default a { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
  22 span.help-argument-name-1420   { color: rgb(0, 0, 255);  font-style: italic;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-size: 10pt;  text-decoration: none; }
  23 span.help-argument-name-1420 a { color: rgb(0, 0, 255);  font-style: italic;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-size: 10pt;  text-decoration: underline; }
  24 span.button-0004   { text-decoration: underline;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt; }
  25 span.button-0004 a { text-decoration: underline;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt; }
  26  --></style><style type="text/css"><!--
  27 body { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  28 span.default   { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  29 span.default a { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
  30 span.completion-tooltip-face-1437   { color: rgb(0, 0, 0);  background: rgb(255, 255, 255);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  31 span.completion-tooltip-face-1437 a { color: rgb(0, 0, 0);  background: rgb(255, 255, 255);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  32 span.completion-dynamic-face-1436   { color: rgb(0, 0, 0);  background: rgb(255, 165, 0);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  33 span.completion-dynamic-face-1436 a { color: rgb(0, 0, 0);  background: rgb(255, 165, 0);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  34 span.compilation-warning-1435   { color: rgb(255, 165, 0);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  35 span.compilation-warning-1435 a { color: rgb(255, 165, 0);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  36 span.compilation-line-number-1434   { color: rgb(184, 134, 11);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  37 span.compilation-line-number-1434 a { color: rgb(184, 134, 11);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  38 span.compilation-info-1433   { color: rgb(0, 205, 0);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  39 span.compilation-info-1433 a { color: rgb(0, 205, 0);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  40 span.compilation-error-1430   { color: rgb(255, 0, 0);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  41 span.compilation-error-1430 a { color: rgb(255, 0, 0);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  42 span.compilation-column-number-1429   { color: rgb(34, 139, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  43 span.compilation-column-number-1429 a { color: rgb(34, 139, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  44 span.comint-highlight-prompt-1428   { color: rgb(0, 0, 139);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  45 span.comint-highlight-prompt-1428 a { color: rgb(0, 0, 139);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  46 span.button-0004   { text-decoration: underline;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt; }
  47 span.button-0004 a { text-decoration: underline;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt; }
  48  --></style><style type="text/css"><!--
  49 body { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  50 span.default   { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  51 span.default a { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
  52 span.default-0273   { color: rgb(250, 235, 215);  font-size: 105%;  text-decoration: none; }
  53 span.default-0273 a { color: rgb(250, 235, 215);  font-size: 105%;  text-decoration: underline; }
  54 span.default-0272   { background: rgb(250, 235, 215);  font-size: 105%;  text-decoration: none; }
  55 span.default-0272 a { background: rgb(250, 235, 215);  font-size: 105%;  text-decoration: underline; }
  56 span.default-0271   { color: rgb(250, 240, 230);  font-size: 105%;  text-decoration: none; }
  57 span.default-0271 a { color: rgb(250, 240, 230);  font-size: 105%;  text-decoration: underline; }
  58 span.default-0270   { background: rgb(250, 240, 230);  font-size: 105%;  text-decoration: none; }
  59 span.default-0270 a { background: rgb(250, 240, 230);  font-size: 105%;  text-decoration: underline; }
  60 span.default-0269   { color: rgb(253, 245, 230);  font-size: 105%;  text-decoration: none; }
  61 span.default-0269 a { color: rgb(253, 245, 230);  font-size: 105%;  text-decoration: underline; }
  62 span.default-0268   { background: rgb(253, 245, 230);  font-size: 105%;  text-decoration: none; }
  63 span.default-0268 a { background: rgb(253, 245, 230);  font-size: 105%;  text-decoration: underline; }
  64 span.default-0267   { color: rgb(255, 250, 240);  font-size: 105%;  text-decoration: none; }
  65 span.default-0267 a { color: rgb(255, 250, 240);  font-size: 105%;  text-decoration: underline; }
  66 span.default-0266   { background: rgb(255, 250, 240);  font-size: 105%;  text-decoration: none; }
  67 span.default-0266 a { background: rgb(255, 250, 240);  font-size: 105%;  text-decoration: underline; }
  68 span.default-0265   { color: rgb(220, 220, 220);  font-size: 105%;  text-decoration: none; }
  69 span.default-0265 a { color: rgb(220, 220, 220);  font-size: 105%;  text-decoration: underline; }
  70 span.default-0264   { background: rgb(220, 220, 220);  font-size: 105%;  text-decoration: none; }
  71 span.default-0264 a { background: rgb(220, 220, 220);  font-size: 105%;  text-decoration: underline; }
  72 span.default-0263   { color: rgb(245, 245, 245);  font-size: 105%;  text-decoration: none; }
  73 span.default-0263 a { color: rgb(245, 245, 245);  font-size: 105%;  text-decoration: underline; }
  74 span.default-0262   { background: rgb(245, 245, 245);  font-size: 105%;  text-decoration: none; }
  75 span.default-0262 a { background: rgb(245, 245, 245);  font-size: 105%;  text-decoration: underline; }
  76 span.default-0261   { color: rgb(248, 248, 255);  font-size: 105%;  text-decoration: none; }
  77 span.default-0261 a { color: rgb(248, 248, 255);  font-size: 105%;  text-decoration: underline; }
  78 span.default-0260   { background: rgb(248, 248, 255);  font-size: 105%;  text-decoration: none; }
  79 span.default-0260 a { background: rgb(248, 248, 255);  font-size: 105%;  text-decoration: underline; }
  80 span.default-0259   { color: rgb(255, 250, 250);  font-size: 105%;  text-decoration: none; }
  81 span.default-0259 a { color: rgb(255, 250, 250);  font-size: 105%;  text-decoration: underline; }
  82 span.default-0258   { background: rgb(255, 250, 250);  font-size: 105%;  text-decoration: none; }
  83 span.default-0258 a { background: rgb(255, 250, 250);  font-size: 105%;  text-decoration: underline; }
  84  --></style><style type="text/css"><!--
  85 body { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  86 span.default   { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  87 span.default a { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
  88 span.default-1432   { text-decoration: underline;  color: rgb(176, 48, 96);  font-weight: 700;  font-size: 164%; }
  89 span.default-1432 a { text-decoration: underline;  color: rgb(176, 48, 96);  font-weight: 700;  font-size: 164%; }
  90 span.default-1431   { color: rgb(176, 48, 96);  font-weight: 700;  font-size: 164%;  text-decoration: none; }
  91 span.default-1431 a { color: rgb(176, 48, 96);  font-weight: 700;  font-size: 164%;  text-decoration: underline; }
  92  --></style><style type="text/css"><!--
  93 body { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  94 span.default   { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  95 span.default a { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
  96 span.custom-button-0022   { border-width: 1px;  border-style: outset;  color: rgb(0, 0, 0);  background: rgb(211, 211, 211);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
  97 span.custom-button-0022 a { border-width: 1px;  border-style: outset;  color: rgb(0, 0, 0);  background: rgb(211, 211, 211);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
  98 span.bold-0248   { background: rgb(173, 255, 47);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
  99 span.bold-0248 a { background: rgb(173, 255, 47);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
 100  --></style><style type="text/css"><!--
 101 body { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
 102 span.default   { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
 103 span.default a { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
 104 span.match-1438   { background: rgb(255, 255, 0);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
 105 span.match-1438 a { background: rgb(255, 255, 0);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
 106 span.underline-1413   { color: rgb(184, 134, 11);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  text-decoration: underline;  font-size: 10pt; }
 107 span.underline-1413 a { color: rgb(184, 134, 11);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  text-decoration: underline;  font-size: 10pt; }
 108 span.underline-0219   { text-decoration: underline;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt; }
 109 span.underline-0219 a { text-decoration: underline;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt; }
 110 span.underline-1412   { color: rgb(0, 205, 0);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  text-decoration: underline;  font-size: 10pt; }
 111 span.underline-1412 a { color: rgb(0, 205, 0);  font-weight: 700;  font-family: outline-courier new;  font-stretch: normal;  font-style: normal;  text-decoration: underline;  font-size: 10pt; }
 112  --></style><style type="text/css"><!--
 113 body { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
 114 span.default   { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
 115 span.default a { font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
 116 span.comment-face-1419   { color: rgb(178, 34, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
 117 span.comment-face-1419 a { color: rgb(178, 34, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
 118 span.comment-delimiter-face-1418   { color: rgb(178, 34, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
 119 span.comment-delimiter-face-1418 a { color: rgb(178, 34, 34);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
 120 span.string-face-1441   { color: rgb(188, 143, 143);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
 121 span.string-face-1441 a { color: rgb(188, 143, 143);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
 122 span.match-1438   { background: rgb(255, 255, 0);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: none; }
 123 span.match-1438 a { background: rgb(255, 255, 0);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt;  text-decoration: underline; }
 124 span.keyword-face-1440   { color: rgb(160, 32, 240);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: none; }
 125 span.keyword-face-1440 a { color: rgb(160, 32, 240);  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  font-size: 10pt;  text-decoration: underline; }
 126 span.underline-1439   { text-decoration: underline;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt; }
 127 span.underline-1439 a { text-decoration: underline;  font-family: outline-courier new;  font-stretch: normal;  font-weight: 500;  font-style: normal;  color: rgb(0, 0, 0);  font-size: 10pt; }
 128  --></style>
 129   </head>
 130   <body style="background: #000000; color: #ff9900; padding:2em; margin:4em; margin-top:2em;">
 131
 132 <h1>Example of htmlfontify.el output</h1>
 133
 134 <p style="font-size: 1.3em; width: 35em;">
 135   The following is an example of the output you can get with htmlfontify.el.
 136   The version used here is shipped with <a href="nxhtml.html" style="color: #ffbb33; ">nXhtml</a>.
 137   (A new version from the original author is on its way.)
 138 </p>
 139
 140 <table border="0" cellpadding="0" cellspacing="0" style="border: solid rgb(0, 84, 227); width:44.800000000000004em; background:white;">
 141 <tr>
 142 <td style="background-color:rgb(0, 84, 227); color:rgb(255, 255, 255);border: none; padding:4px; vertical-align: middle;"><img alt="Emacs Icon (patched)" src="img/emacsP16.png" width="16" height="16" />&nbsp;&nbsp;Emacs - Frame Dump</td>
 143 </tr>
 144 <tr>
 145 <td style="vertical-align:top;"><table border="0" cellpadding="0" cellspacing="0">
 146 <tr>
 147 <td style="vertical-align:top;"><table border="0" cellpadding="0" cellspacing="0">
 148 <tr><td style="vertical-align:top;"><div style="width:22.514999999999997em; height:15.079999999999998em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
 149
 150 <pre><span class="comment-delimiter-face-1418">;; </span><span class="comment-face-1419">This buffer is for notes you don't want to save, and for Lisp evaluation.
 151 </span><span class="comment-delimiter-face-1418">;; </span><span class="comment-face-1419">If you want to create a file, visit that file with C-x C-f,
 152 </span><span class="comment-delimiter-face-1418">;; </span><span class="comment-face-1419">then enter the text in that file's own buffer.
 153 </span>
 154 </pre>
 155
 156  </div>
 157 <div style="width:22.515em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)--   <b>*scratch*</b>    (Lisp Interaction Abbrev hs) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
 158 <td style="vertical-align:top;"><div style="width:23.084999999999997em; height:15.079999999999998em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
 159
 160
 161     <script type="text/javascript">
 162       // <![CDATA[
 163
 164 function getObj(name) {
 165     if (document.getElementById) {
 166         this.obj = document.getElementById(name);
 167         this.style = document.getElementById(name).style;
 168     }
 169 }
 170 function hfy_toggle_display(name) {
 171     var x = new getObj("hfy_invis_" + name);
 172     var flag = x.style.display == 'inline';
 173     x.style.display = (flag) ? 'none' : 'inline'
 174 }
 175
 176       // ]]>
 177     </script>
 178
 179 <pre>cadr is a compiled Lisp function in `<span class="button-0004">subr.el</span>'.
 180 (cadr <span class="help-argument-name-1420">x</span>)
 181
 182 Return the car of the cdr of <span class="help-argument-name-1420">x</span>.
 183
 184 <span class="button-0004">[back]</span>
 185 </pre>
 186
 187  </div>
 188 <div style="width:23.085em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%%   <b>*Help*</b>    (Help View Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
 189 </tr>
 190 </table>
 191 </td>
 192 </tr>
 193 <tr>
 194 <td style="vertical-align:top;"><table border="0" cellpadding="0" cellspacing="0">
 195 <tr><td style="vertical-align:top;"><div style="width:22.514999999999997em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
 196
 197
 198     <script type="text/javascript">
 199       // <![CDATA[
 200
 201 function getObj(name) {
 202     if (document.getElementById) {
 203         this.obj = document.getElementById(name);
 204         this.style = document.getElementById(name).style;
 205     }
 206 }
 207 function hfy_toggle_display(name) {
 208     var x = new getObj("hfy_invis_" + name);
 209     var flag = x.style.display == 'inline';
 210     x.style.display = (flag) ? 'none' : 'inline'
 211 }
 212
 213       // ]]>
 214     </script>
 215
 216 <pre><span class="button-0004">comint-highlight-prompt</span>                       <span class="comint-highlight-prompt-1428">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
 217 <span class="button-0004">compilation-column-number</span>                     <span class="compilation-column-number-1429">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
 218 <span class="button-0004">compilation-error</span>                             <span class="compilation-error-1430">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
 219 <span class="button-0004">compilation-info</span>                              <span class="compilation-info-1433">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
 220 <span class="button-0004">compilation-line-number</span>                       <span class="compilation-line-number-1434">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
 221 <span class="button-0004">compilation-warning</span>                           <span class="compilation-warning-1435">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
 222 <span class="button-0004">completion-dynamic-face</span>                       <span class="completion-dynamic-face-1436">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
 223 <span class="button-0004">completion-tooltip-face</span>                       <span class="completion-tooltip-face-1437">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
 224 </pre>
 225
 226
 227 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 11 - 19! </div>
 228 </div>
 229 <div style="width:22.515em; color:rgb(0, 0, 0); background:rgb(191, 191, 191); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%%   <b>*Faces*</b>    (Help View Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
 230 <td style="vertical-align:top;"><div style="width:23.084999999999997em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
 231
 232
 233     <script type="text/javascript">
 234       // <![CDATA[
 235
 236 function getObj(name) {
 237     if (document.getElementById) {
 238         this.obj = document.getElementById(name);
 239         this.style = document.getElementById(name).style;
 240     }
 241 }
 242 function hfy_toggle_display(name) {
 243     var x = new getObj("hfy_invis_" + name);
 244     var flag = x.style.display == 'inline';
 245     x.style.display = (flag) ? 'none' : 'inline'
 246 }
 247
 248       // ]]>
 249     </script>
 250
 251 <pre><span class="default-0258">snow                  </span><span class="default-0259"> snow                                                                                                                        </span>#fffafa
 252 <span class="default-0260">ghost white           </span><span class="default-0261"> GhostWhite                                                                                                                  </span>#f8f8ff
 253 <span class="default-0262">white smoke           </span><span class="default-0263"> WhiteSmoke                                                                                                                  </span>#f5f5f5
 254 <span class="default-0264">gainsboro             </span><span class="default-0265"> gainsboro                                                                                                                   </span>#dcdcdc
 255 <span class="default-0266">floral white          </span><span class="default-0267"> FloralWhite                                                                                                                 </span>#fffaf0
 256 <span class="default-0268">old lace              </span><span class="default-0269"> OldLace                                                                                                                     </span>#fdf5e6
 257 <span class="default-0270">linen                 </span><span class="default-0271"> linen                                                                                                                       </span>#faf0e6
 258 <span class="default-0272">antique white         </span><span class="default-0273"> AntiqueWhite                                                                                                                </span>#faebd7
 259 </pre>
 260
 261
 262 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 1 - 9! </div>
 263 </div>
 264 <div style="width:23.085em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%%   <b>*Colors*</b>    (Help View Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
 265 </tr>
 266 </table>
 267 </td>
 268 </tr>
 269 <tr>
 270 <td style="vertical-align:top;"><div style="width:47.025em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
 271
 272
 273     <script type="text/javascript">
 274       // <![CDATA[
 275
 276 function getObj(name) {
 277     if (document.getElementById) {
 278         this.obj = document.getElementById(name);
 279         this.style = document.getElementById(name).style;
 280     }
 281 }
 282 function hfy_toggle_display(name) {
 283     var x = new getObj("hfy_invis_" + name);
 284     var flag = x.style.display == 'inline';
 285     x.style.display = (flag) ? 'none' : 'inline'
 286 }
 287
 288       // ]]>
 289     </script>
 290
 291 <pre><span class="default-1431">________________________
 292 </span><span class="default-1432">Program and Value Search</span>
 293
 294 When you use Emacs on MS Windows you sometimes want to fetch values
 295 and program locations from MS Windows.  Many of these values are
 296 stored in the MS Windows Registry.  Since Emacs is written to be used
 297 on many platforms (with the emphasis on GPL platforms) the effort to
 298 let Emacs read the Registry directly has not been made.  Below you can
 299 </pre>
 300
 301
 302 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 29 - 37! </div>
 303 </div>
 304 <div style="width:47.025em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)**   <b>*Customize EmacsW32*</b>    (Custom Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
 305 </tr>
 306 <tr>
 307 <td style="vertical-align:top;"><div style="width:47.025em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
 308
 309
 310     <script type="text/javascript">
 311       // <![CDATA[
 312
 313 function getObj(name) {
 314     if (document.getElementById) {
 315         this.obj = document.getElementById(name);
 316         this.style = document.getElementById(name).style;
 317     }
 318 }
 319 function hfy_toggle_display(name) {
 320     var x = new getObj("hfy_invis_" + name);
 321     var flag = x.style.display == 'inline';
 322     x.style.display = (flag) ? 'none' : 'inline'
 323 }
 324
 325       // ]]>
 326     </script>
 327
 328 <pre>  Add quick printing to File menu (htmlize-view-print-visible): <span class="bold-0248">t</span>
 329   Keep default print entries in File menu (w32-print-menu-show-print): <span class="bold-0248">nil</span>
 330   Keep default ps print entries in File menu (w32-print-menu-show-ps-print): <span class="bold-0248">nil</span>
 331   Use keyboard Window keys as Emacs META (w32-meta-style): <span class="bold-0248">w32-lr</span>
 332   Underlined accelerators in menu bar (menuacc-active): <span class="bold-0248">t</span>
 333   Inferior shell + path for unix style programs (w32shell-shell): <span class="bold-0248">cmd</span>
 334
 335   <span class="custom-button-0022"> Set all to w32 style! </span> <span class="custom-button-0022"> Reset all to default! </span> <span class="custom-button-0022"> Customize EmacsW32 ... </span>
 336 </pre>
 337
 338
 339 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 13 - 21! </div>
 340 </div>
 341 <div style="width:47.025em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)**   <b>*Customize EmacsW32*</b>    (Custom Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
 342 </tr>
 343 <tr>
 344 <td style="vertical-align:top;"><table border="0" cellpadding="0" cellspacing="0">
 345 <tr><td style="vertical-align:top;"><div style="width:22.514999999999997em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
 346
 347
 348     <script type="text/javascript">
 349       // <![CDATA[
 350
 351 function getObj(name) {
 352     if (document.getElementById) {
 353         this.obj = document.getElementById(name);
 354         this.style = document.getElementById(name).style;
 355     }
 356 }
 357 function hfy_toggle_display(name) {
 358     var x = new getObj("hfy_invis_" + name);
 359     var flag = x.style.display == 'inline';
 360     x.style.display = (flag) ? 'none' : 'inline'
 361 }
 362
 363       // ]]>
 364     </script>
 365
 366 <pre>-*- mode: grep; default-directory: &quot;c:/emacs/p/070604/EmacsW32/nxml/util/&quot; -*-
 367 Grep started at Fri Dec 28 22:54:06
 368
 369 grep -i -nH -e &quot;hfy-tmpfont-stack&quot; *.el
 370 <span class="underline-1412">htmlfontify.el</span><span class="underline-0219">:</span><span class="underline-1413">596</span><span class="underline-0219">:</span>(defvar <span class="match-1438">hfy-tmpfont-stack</span> nil
 371 <span class="underline-1412">htmlfontify.el</span><span class="underline-0219">:</span><span class="underline-1413">999</span><span class="underline-0219">:</span>           (entry (assoc key <span class="match-1438">hfy-tmpfont-stack</span>))
 372 <span class="underline-1412">htmlfontify.el</span><span class="underline-0219">:</span><span class="underline-1413">1003</span><span class="underline-0219">:</span>        (setq tag               (format &quot;%04d&quot; (length <span class="match-1438">hfy-tmpfont-stack</span>))
 373 <span class="underline-1412">htmlfontify.el</span><span class="underline-0219">:</span><span class="underline-1413">1005</span><span class="underline-0219">:</span>              <span class="match-1438">hfy-tmpfont-stack</span> (cons entry <span class="match-1438">hfy-tmpfont-stack</span>)))
 374 </pre>
 375
 376
 377 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 1 - 9! </div>
 378 </div>
 379 <div style="width:22.515em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%%   <b>*grep*</b>    (Grep Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
 380 <td style="vertical-align:top;"><div style="width:23.084999999999997em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
 381
 382
 383     <script type="text/javascript">
 384       // <![CDATA[
 385
 386 function getObj(name) {
 387     if (document.getElementById) {
 388         this.obj = document.getElementById(name);
 389         this.style = document.getElementById(name).style;
 390     }
 391 }
 392 function hfy_toggle_display(name) {
 393     var x = new getObj("hfy_invis_" + name);
 394     var flag = x.style.display == 'inline';
 395     x.style.display = (flag) ? 'none' : 'inline'
 396 }
 397
 398       // ]]>
 399     </script>
 400
 401 <pre><span class="underline-1439">5 matches for &quot;hfy-tmpfont-stack&quot; in buffer: htmlfontify.el
 402 </span>    596:(<span class="keyword-face-1440">defvar</span> <span class="match-1438">hfy-tmpfont-stack</span> nil
 403     999:           (entry (assoc key <span class="match-1438">hfy-tmpfont-stack</span>))
 404    1003:        (setq tag               (format <span class="string-face-1441">&quot;%04d&quot;</span> (length <span class="match-1438">hfy-tmpfont-stack</span>))
 405    1005:              <span class="match-1438">hfy-tmpfont-stack</span> (cons entry <span class="match-1438">hfy-tmpfont-stack</span>)))
 406    1228:        <span class="comment-delimiter-face-1418">;;</span><span class="comment-face-1419">(</span><span class="match-1438">hfy-tmpfont-stack</span><span class="comment-face-1419"> nil)</span>
 407 </pre>
 408
 409  </div>
 410 <div style="width:23.085em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%%   <b>*Occur*</b>    (Occur Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
 411 </tr>
 412 </table>
 413 </td>
 414 </tr>
 415 </table>
 416 </td>
 417 </tr>
 418 <tr>
 419 <td style="padding:1px; color:rgb(0,0,0); ">
 420 <span style="background:rgb(255, 215, 0); color:rgb(0,0,0); ">&nbsp;M-x </span>&nbsp;hfyview-frame</td>
 421 </tr>
 422 </table>
 423 </body>
 424 </html>