| Server IP : 217.160.0.135 / Your IP : 216.73.217.85 Web Server : Apache System : Linux www 6.18.52-i1-ampere #1203 SMP Mon Sep 14 18:29:59 CEST 2026 aarch64 User : sws1074145052 ( 1074145052) PHP Version : 8.3.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /lib/python3/dist-packages/pip/_vendor/pygments/formatters/__pycache__/ |
Upload File : |
�
�/�cq� � �V � d Z ddlZddlZddlZddlZddlmZ ddlmZ ddl m
Z
mZmZ ddl
mZmZmZ ddlZn
# e$ r dZY nw xY wdgZ ed� � d ed
� � d ed� � d
ed� � d ed� � diZefd�Zd� Zd� ZdZdez dz ZdZdZ G d� de� � ZdS )z�
pygments.formatters.html
~~~~~~~~~~~~~~~~~~~~~~~~
Formatter for HTML output.
:copyright: Copyright 2006-2022 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 �, � | � |� � S )z<Escape &, <, > as well as single and double quotes for HTML.)� translate)�text�tables �F/usr/lib/python3/dist-packages/pip/_vendor/pygments/formatters/html.py�escape_htmlr &