EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.html_output

Class EDOC_SHARED_CSS_CONSTANTS


Known direct descendants

EDOC_HTML_OUTPUT_FILE, EDOC_HTML_AST_PRINTER

Features

Invariants

indexing

description

Shared css classes

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_SHARED_CSS_CONSTANTS

feature -- Classes

css_class: STRING

-- CSS class for a class

css_class_name: STRING

-- CSS class for a class name

css_inherit_list: STRING

-- CSS class for inherit list

css_linked_class_name: STRING

-- CSS class for a class name as a link

feature -- Clusters

css_cluster_name: STRING

-- CSS class for a cluster name

css_linked_cluster_name: STRING

-- CSS class for a cluster name as a link

feature -- Comments

css_comment: STRING

-- CSS class comments

css_commented_class_name: STRING

-- CSS class for a class name in a comment

css_commented_feature_name: STRING

-- CSS class for a feature name in a comment

css_invariant_comment: STRING

-- CSS class for a comment in invariant clause

feature -- Common

css_indent: STRING

--CSS class for indentation

css_keyword: STRING

-- CSS class for keywords

css_special_keyword: STRING

-- CSS class for keywords

css_symbol: STRING

-- CSS class for symbols

feature -- Feature list

css_feature_list: STRING

-- CSS class for feature list

css_feature_list_clause: STRING

-- CSS class for feature clause in feature list

css_feature_list_feature: STRING

-- CSS class for feature in feature list

feature -- Features

css_assertion_body: STRING

-- CSS class for invariant / precondition / postcondition body

css_assertion_tag: STRING

-- CSS class for an assertion tag

css_feature: STRING

-- CSS class for a feature

css_feature_body: STRING

-- CSS class for a feature body

css_feature_clause_body: STRING

-- CSS class for a feature clause body

css_feature_comment_body: STRING

-- CSS class for a feature comment body

css_feature_name: STRING

-- CSS class for a feature name

css_linked_feature_name: STRING

-- CSS class for a feature name as link

feature -- Indexing

css_indexing: STRING

-- CSS class for indexing clause

css_indexing_body: STRING

-- CSS class for indexing body

css_indexing_list: STRING

-- CSS class for indexing list

css_indexing_tag: STRING

-- CSS class for indexing tag

feature -- Page layout

css_active_button: STRING

-- CSS class for a button

css_ancestors_list: STRING

-- CSS class for ancestors list

css_button: STRING

-- CSS class for a button

css_buttons: STRING

-- CSS class for a header button

css_cluster_name_small: STRING

-- CSS class for cluster link (small)

css_cluster_tree: STRING

-- CSS class for a cluster tree

css_descendants_list: STRING

-- CSS class for descendants list

css_footer: STRING

-- CSS class for a footer

css_footer_title: STRING

-- CSS class for a footer

css_header: STRING

-- CSS class for header

css_header_title: STRING

-- CSS class for header

css_index_list: STRING

-- CSS class for index list

css_index_small: STRING

-- CSS class for small index text

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)