| Server IP : 46.101.140.223 / Your IP : 216.73.217.61 Web Server : nginx/1.22.1 System : Linux debian-s-1vcpu-1gb-fra1-01 6.1.0-49-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.174-1 (2026-05-26) x86_64 User : deploy-others ( 1001) PHP Version : 8.2.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /usr/lib/python3/dist-packages/pygments/formatters/__pycache__/ |
Upload File : |
�
�E�c� � �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 �:/usr/lib/python3/dist-packages/pygments/formatters/html.py�escape_htmlr &