| Server IP : 209.209.40.120 / Your IP : 216.73.217.112 Web Server : Microsoft-IIS/10.0 System : Windows NT NEWWWW 10.0 build 17763 (Windows Server 2019) i586 User : NEWWWW$ ( 0) PHP Version : 8.3.30 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : C:/Python312/Lib/site-packages/pip/_vendor/pygments/formatters/__pycache__/ |
Upload File : |
�
�k�fU� � �. � d Z ddlZddlZddlZddlZddlmZ ddlmZ ddl m
Z
mZmZ ddl
mZmZmZ ddlZdgZ ed� d ed
� d ed� d
ed� d ed� diZefd�Zd� Zd� ZdZdez dz ZdZdZ G d� de� Zy# e$ r dZY �[w xY w)z�
pygments.formatters.html
~~~~~~~~~~~~~~~~~~~~~~~~
Formatter for HTML output.
:copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�StringIO)� Formatter)�Token�Text�STANDARD_TYPES)�get_bool_opt�get_int_opt�get_list_opt�
HtmlFormatter�&z&�<z<�>z>�"z"�'z'c �$ � | j |� S )z<Escape &, <, > as well as single and double quotes for HTML.)� translate)�text�tables �FC:\Python312\Lib\site-packages\pip/_vendor/pygments/formatters/html.py�escape_htmlr &