diff --git a/docs/LaTeXML.css b/docs/LaTeXML.css new file mode 100644 index 0000000..fe81cfa --- /dev/null +++ b/docs/LaTeXML.css @@ -0,0 +1,509 @@ +/*====================================================================== + Core CSS for LaTeXML documents converted to (X)HTML */ +/* Generic Page layout */ +.ltx_page_header, +.ltx_page_footer { font-size:0.8em; } +.ltx_page_header *[rel~="prev"], +.ltx_page_footer *[rel~="prev"] { float:left; } +.ltx_page_header *[rel~="up"], +.ltx_page_footer *[rel~="up"] { display:block; text-align:center; } +.ltx_page_header *[rel~="next"], +.ltx_page_footer *[rel~="next"] { float:right; } +/* What was I trying for here; need more selective rule! +.ltx_page_header .ltx_ref, +.ltx_page_footer .ltx_ref { + margin:0 1em; } +*/ +.ltx_page_header li { + padding:0.1em 0.2em 0.1em 1em;} + +/* Main content */ +.ltx_page_content { clear:both; } +.ltx_page_header { border-bottom:1px solid; margin-bottom:5px; } +.ltx_page_footer { clear:both; border-top:1px solid; margin-top:5px; } + +.ltx_page_header:after, +.ltx_page_footer:after, +.ltx_page_content:after { + content:"."; display:block; height:0; clear:both; visibility:hidden; } +.ltx_page_footer:before { + content:"."; display:block; height:0; clear:both; visibility:hidden; } + +.ltx_page_logo { font-size:90%; margin-top: 5px; clear:both; float:right; } +a.ltx_LaTeXML_logo { text-decoration: none; } +.ltx_page_logo img { vertical-align:-3px; } +.ltx_page_navbar .ltx_LaTeXML_logo, +.ltx_page_logo .ltx_LaTeXML_logo { font-size:110%; } +/* if shown */ +.ltx_page_navbar li { white-space:nowrap; display:block; overflow:hidden; } +/* If ref got turned into span, it's "this section"*/ +.ltx_page_navbar li span.ltx_ref { white-space:normal; overflow:visible; } + +/* Ought to be easily removable/overridable? */ +.ltx_pagination.ltx_role_newpage { height:2em; } +/*====================================================================== + Document Structure; Titles & Frontmatter */ + +/* undo bold here to remove the browser's native h# styling, + at let all other styles override it (with more specific rules)*/ +.ltx_title { font-size:100%; font-weight:normal; } + +/* Hack to simulate run-in! put class="ltx_runin" on a title or tag + for it to run-into the following text. */ +.ltx_runin { display:inline; } +.ltx_runin:after { content:" "; } +.ltx_runin + .ltx_para, +.ltx_runin + .ltx_para p:first-child, +.ltx_runin + p:first-child { + display:inline; } + +.ltx_outdent { margin-left: -2em; } + +/* .ltx_chapter_title, etc should be in ltx-article.css etc. */ +.ltx_page_main { margin:0px auto; + padding:1em 3em 1em 2em; + padding:min(1em,1.5%) min(3em,4.5%) min(1em,1.5%) min(2em, 3%); } +.ltx_tocentry { list-style-type:none; } + +/* support for common author block layouts.*/ +/* add class ltx_authors_1line to get authors in single line + with pop-up affiliation, etc. */ +.ltx_authors_1line .ltx_creator, +.ltx_authors_1line .ltx_author_before, +.ltx_authors_1line .ltx_author_after { display:inline;} +.ltx_authors_1line .ltx_author_notes { display:inline-block; } +.ltx_authors_1line .ltx_author_notes:before { content:"*"; color:blue;} +.ltx_authors_1line .ltx_author_notes span { display:none; } +.ltx_authors_1line .ltx_author_notes:hover span { + display:block; position:absolute; z-index:10; + background:white; text-align:left; + border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; } + +/* add class=ltx_authors_multiline to get authors & affliations on separate lines*/ +.ltx_authors_multiline .ltx_creator, +.ltx_authors_multiline .ltx_author_before, +.ltx_authors_multiline .ltx_author_after, +.ltx_authors_multiline .ltx_author_notes, +.ltx_authors_multiline .ltx_author_notes .ltx_contact { + display:block; } + +/*====================================================================== + Para level */ +.ltx_float { + margin: 1ex clamp(1em, 4.5%, 3em) 1ex clamp(1em, 4.5%, 3em); } + +/* Multiple subfigures via flexbox */ +.ltx_flex_figure { + display: flex; + flex-flow: row wrap; + width: auto; + max-width: 60rem; + position: relative; + justify-content: center; + align-items: baseline; + object-fit: contain; + margin-bottom: 1rem; +} + +.ltx_flex_size_1, +.ltx_flex_size_1 .ltx_tabular, +.ltx_flex_size_1 .ltx_graphics { + max-width:60rem; +} +.ltx_flex_size_2, +.ltx_flex_size_2 .ltx_tabular, +.ltx_flex_size_2 .ltx_graphics { + max-width: calc(0.44*60rem); +} +.ltx_flex_size_3, +.ltx_flex_size_3 .ltx_tabular, +.ltx_flex_size_3 .ltx_graphics { + max-width: calc(0.30*60rem); +} +.ltx_flex_size_4, +.ltx_flex_size_4 .ltx_tabular, +.ltx_flex_size_4 .ltx_graphics { + max-width: calc(0.24*60rem); +} +/*Default: More than 4 items, tricky. + quite often intended to auto-reflow... */ +.ltx_flex_size_many, +.ltx_flex_size_many .ltx_tabular, +.ltx_flex_size_many .ltx_graphics { + max-width: calc(0.24*60rem); +} + +/* flex row breaks */ +.ltx_flex_figure .ltx_flex_break { + flex-basis: 100%; + height: 0; +} + +/* layout preference */ +.ltx_flex_figure .ltx_subgraphics, +.ltx_flex_figure .ltx_subfigure, +.ltx_flex_figure .ltx_subfloat, +.ltx_flex_figure .ltx_subtable { + flex: 1 1 0px; + margin: 0.1rem; +} +.ltx_subgraphics, .ltx_subfigure, .ltx_subtable, .ltx_subfloat { + padding-left: 1rem; + padding-right: 1rem; +} +.ltx_subgraphics > .ltx_figure, +.ltx_subfigure > .ltx_figure, +.ltx_subtable > .ltx_figure, +.ltx_subfloat > .ltx_figure { + margin:0em; +} + +/* theorems, figure, tables, floats captions.. */ +/*====================================================================== + Blocks, Lists, Floats */ +.ltx_p, +.ltx_quote, +.ltx_block, +.ltx_logical-block, +.ltx_para { + display: block; } + +/* alignment within blocks */ +.ltx_align_left { text-align:left; } +.ltx_align_right { text-align:right; } +.ltx_align_center { text-align:center; } +.ltx_align_justify { text-align:justify; } +.ltx_align_top { vertical-align:top; } +.ltx_align_bottom { vertical-align:bottom; } +.ltx_align_middle { vertical-align:middle; } +.ltx_align_baseline { vertical-align:baseline; } + +.ltx_align_floatleft { float:left; } +.ltx_align_floatright { float:right; } + +.ltx_td.ltx_align_left, .ltx_th.ltx_align_left, +.ltx_td.ltx_align_right, .ltx_th.ltx_align_right, +.ltx_td.ltx_align_center, .ltx_th.ltx_align_center { white-space:nowrap; } +.ltx_td.ltx_align_left.ltx_wrap, .ltx_th.ltx_align_left.ltx_wrap, +.ltx_td.ltx_align_right.ltx_wrap, .ltx_th.ltx_align_right.ltx_wrap, +.ltx_td.ltx_align_center.ltx_wrap, .ltx_th.ltx_align_center.ltx_wrap, +.ltx_td.ltx_align_justify, .ltx_th.ltx_align_justify { white-space:normal; } + +.ltx_tabular .ltx_tabular { width:100%; } +.ltx_inline-block, +.ltx_inline-logical-block { display:inline-block; } + +/* tabbing is always a standalone paragraph-level construct */ +.ltx_tabular.ltx_tabbing { + display: table; } + +/* avoid padding when aligning adjacent columns, e.g. for split decimals */ +.ltx_norightpad { padding-right:0!important; } +.ltx_noleftpad { padding-left:0!important; } +.ltx_nopad { padding:0!important; } + +/* equations in non-aligned mode (not normally used) */ +.ltx_eqn_div { display:block; width:95%; text-align:center; } + +/* equations in aligned mode (aligning tags, etc as well as equations) */ +.ltx_eqn_table { display:table; width:100%; border-collapse:collapse; } +.ltx_eqn_row { display:table-row; } +.ltx_eqn_cell { display:table-cell; width:auto; } + +/* Padding between column pairs in ams align */ +table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + td.ltx_align_right, +table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + td.ltx_align_center, +table.ltx_eqn_align tr.ltx_equation td.ltx_align_center + td.ltx_align_right, +table.ltx_eqn_align tr.ltx_equation td.ltx_align_center + td.ltx_align_center { padding-left:3em; } +table.ltx_eqn_eqnarray tr.ltx_eqn_lefteqn + tr td.ltx_align_right { min-width:2em; } + +.ltx_eqn_eqno { max-width:0em; overflow:visible; white-space: nowrap; } +.ltx_eqn_eqno.ltx_align_right .ltx_tag { float:right; } + +.ltx_eqn_center_padleft, +.ltx_eqn_center_padright { width:50%; min-width:2em;} +.ltx_eqn_left_padleft, +.ltx_eqn_right_padright { min-width:2em; } +.ltx_eqn_left_padright, +.ltx_eqn_right_padleft { width:100%; } + +/* Various lists */ +.ltx_itemize, +.ltx_enumerate, +.ltx_description { + display:block; } +.ltx_itemize .ltx_item, +.ltx_enumerate .ltx_item { + display: list-item; white-space:nowrap; } + +/* Position the tag to look like a normal item bullet. */ +li.ltx_item > .ltx_tag { + display:inline-block; margin-left:-1.5em; min-width:1.5em; + text-align:right; } +.ltx_item .ltx_tag + .ltx_para { + display:inline-block; vertical-align:top;} +.ltx_item .ltx_tag + .ltx_para .ltx_p { + display:inline; } +.ltx_item > .ltx_para > .ltx_p:first-child { + text-indent:0em; } + +.ltx_item > .ltx_para > .ltx_p { margin-top:0em; margin-bottom:0em; } +dd.ltx_item { margin-bottom:0.5em; } + +/* NOTE: Need to try harder to get runin appearance? */ +dl.ltx_description dt { margin-right:0.5em; float:left; + font-weight:bold; font-size:95%; } +dl.ltx_description dd { margin-left:5em; } +dl.ltx_description dl.ltx_description dd { margin-left:3em; } + +/* Theorems */ +.ltx_theorem {margin:1em 0em 1em 0em; } +.ltx_title_theorem { font-size:100%; } + +/* Bibliographies */ +.ltx_bibliography dt { margin-right:0.5em; float:left; } +.ltx_bibliography dd { margin-left: clamp(1em, 4.5%, 3em); } +/*.ltx_biblist { list-style-type:none; }*/ +.ltx_bibitem { list-style-type:none; } +.ltx_bibitem .ltx_tag { font-weight:bold; margin-left:-2em; width:3em; } +/*.bibitem-tag + div { display:inline; }*/ +.ltx_bib_title { font-style:italic; } +.ltx_bib_article .bib-title { font-style:normal !important; } +.ltx_bib_journal { font-style:italic; } +.ltx_bib_volume { font-weight:bold; } + +/* Indices */ +.ltx_indexlist li { list-style-type:none; } +.ltx_indexlist { margin-left:1em; padding-left:1em;} + +/* Listings */ +.ltx_listing { + display:block; + margin: 1ex 3em 1ex 0em; + overflow-x:auto; + text-align: left; } +.ltx_float .ltx_listing { + margin: 0; } +.ltx_listingline { white-space:nowrap; min-height:1em; } +.ltx_lst_space { white-space: pre; } +.ltx_lst_numbers_left .ltx_listingline .ltx_tag { + background-color:transparent; + margin-left:-3em; width:2.5em; + position:absolute; + text-align:right; } +.ltx_lst_numbers_right .ltx_listingline .ltx_tag { + background-color:transparent; + width:2.5em; + position:absolute; right:3em; + text-align:right; } +/* + position:absolute; left:0em; + max-width:0em; text-align:right; } +*/ +.ltx_parbox { + text-indent:0em; + display: inline-block; } + +/* NOTE that it is CRITICAL to put position:relative outside & absolute inside!! + I wish I understood why! + Outer box establishes resulting size, neutralizes any outer positioning, etc; + inner establishes position of stuff to be rotated */ +.ltx_transformed_outer { + position:relative; bottom:0pt;left:0pt; + overflow:visible; } +.ltx_transformed_inner { + display:block; + position:absolute;bottom:0pt;left:0pt; } +.ltx_transformed_inner > .ltx_p {text-indent:0em; margin:0; padding:0; } + +/* If simulating a table (html5), try to get rowspan to work...sorta? */ +span.ltx_tabular { position:relative; } +span.ltx_rowspan { position:absolute; top:0; bottom:0; } + +/* by default, p doesn't indent */ +.ltx_p { text-indent:0em; white-space:normal; } +/* explicit control of indentation (on ltx_para) */ +.ltx_indent > .ltx_p:first-child { text-indent:2em!important; } +.ltx_noindent > .ltx_p:first-child { text-indent:0em!important; } + +/*====================================================================== + Columns */ +.ltx_page_columns { + display: flex; } +.ltx_page_column1, +.ltx_page_column2 { + flex:100%; + margin: 0 20px; + } +@media screen and (max-width: 60em){ + .ltx_page_columns { + flex-direction: column; } + .ltx_page_column1 > ul, + .ltx_page_column1 > ol, + .ltx_page_column1 > dl { + margin-bottom: 0; } + .ltx_page_column2 > ul, + .ltx_page_column2 > ol, + .ltx_page_column2 > dl { + margin-top: 0; } +} + +/*====================================================================== + Borders and such */ +.ltx_tabular { display:inline-table; border-collapse:collapse; } +.ltx_tabular.ltx_centering { display:table; } +.ltx_thead, +.ltx_tfoot, +.ltx_tbody { display:table-row-group; } +.ltx_tr { display:table-row; } +.ltx_td, +.ltx_th { display:table-cell; } + +.ltx_tabular .ltx_td, +.ltx_tabular .ltx_th { padding:0.1em 0.5em; } +.ltx_tabular .ltx_td.ltx_nopad_l, +.ltx_tabular .ltx_th.ltx_nopad_l { padding-left:0; } +.ltx_tabular .ltx_td.ltx_nopad_r, +.ltx_tabular .ltx_th.ltx_nopad_r { padding-right:0; } + +/* min-height does NOT apply to tr! */ +.ltx_tabular .ltx_tr td:first-child::after, +.ltx_tabular .ltx_tr th:first-child::after { + content: ""; + display: inline-block; + vertical-align: top; + min-height: 1em; +} + + +/* regular lines */ +.ltx_border_t { border-top:1px solid black; } +.ltx_border_r { border-right:1px solid black; } +.ltx_border_b { border-bottom:1px solid black; } +.ltx_border_l { border-left:1px solid black; } +/* double lines */ +.ltx_border_tt { border-top:3px double black; } +.ltx_border_rr { border-right:3px double black; } +.ltx_border_bb { border-bottom:3px double black; } +.ltx_border_ll { border-left:3px double black; } +/* Light lines */ +.ltx_border_T { border-top:1px solid gray; } +.ltx_border_R { border-right:1px solid gray; } +.ltx_border_B { border-bottom:1px solid gray; } +.ltx_border_L { border-left:1px solid gray; } +/* Framing */ +.ltx_framed { padding:3pt; } +span.ltx_framed { display:inline-block; text-indent:0; } /* avoid padding/margin collapse */ +.ltx_framed_rectangle { border-style:solid; border-width:1px; } +.ltx_framed_top { border-top-style:solid; border-top-width:1px; } +.ltx_framed_left { border-left-style:solid; border-left-width:1px; } +.ltx_framed_right { border-right-style:solid; border-right-width:1px; } +.ltx_framed_bottom, +.ltx_framed_underline { border-bottom-style:solid; border-bottom-width:1px; } +.ltx_framed_topbottom { border-top-style:solid; border-top-width:1px; + border-bottom-style:solid; border-bottom-width:1px; } +.ltx_framed_leftright { border-left-style:solid; border-left-width:1px; + border-right-style:solid; border-right-width:1px; } + +.ltx_rule { vertical-align: bottom; height: 0.4pt; width: 0.4pt; } + +/*====================================================================== + Misc */ +/* .ltx_verbatim*/ +.ltx_verbatim { text-align:left; } +/*====================================================================== + Meta stuff, footnotes */ +.ltx_note_content { display:none; } +/*right:5%; */ +.ltx_note_content { + max-width: 70%; font-size:90%; left:15%; + text-align:left; + background-color: white; + padding: 0.5em 1em 0.5em 1.5em; + border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; } +.ltx_note_mark { color:blue; } +.ltx_note_type { font-weight: bold; } +.ltx_note { display:inline-block; text-indent:0; } /* So we establish containing block */ +.ltx_note_content .ltx_note_mark { position:absolute; left:0.2em; top:-0.1em; } +.ltx_note:hover .ltx_note_content, +.ltx_note .ltx_note_content:hover { + display:block; position:absolute; z-index:10; } +.ltx_note.ltx_marginpar_left { display:none; } + +.ltx_ERROR { color:red; } +.ltx_rdf { display:none; } +.ltx_missing { color:red;} +.ltx_nounicode { color:red; } +.ltx_nodisplay { display:none; } +/*====================================================================== + SVG (pgf/tikz ?) basics */ + +/* Stuff appearing in svg:foreignObject */ +.ltx_svg_fog foreignObject { margin:0; padding:0; overflow:visible; } +.ltx_svg_fog foreignObject > p { margin:0; padding:0; display:block; } +/*.ltx_svg_fog foreignObject > p { margin:0; padding:0; display:block; white-space:nowrap; }*/ + +/*====================================================================== + Low-level Basics */ +/* Note that LaTeX(ML)'s font model doesn't map quite exactly to CSS's */ +/* Font Families => font-family */ +.ltx_font_serif { font-family: serif; } +.ltx_font_sansserif { font-family: sans-serif; } +.ltx_font_typewriter { font-family: monospace; } +/* dingbats should be converted to unicode? */ +/* Math font families handled within math: script, symbol, fraktur, blackboard ? */ +/* Font Series => font-weight */ +.ltx_font_bold { font-weight: bold; } +.ltx_font_medium { font-weight: normal; } +/* Font Shapes => font-style or font-variant */ +.ltx_font_italic { font-style: italic; font-variant:normal; } +.ltx_font_upright { font-style: normal; font-variant:normal; } +.ltx_font_slanted { font-style: oblique; font-variant:normal; } +.ltx_font_smallcaps { font-variant: small-caps; font-style:normal; } +.ltx_font_oldstyle { font-variant-numeric: oldstyle-nums; } +.ltx_font_mathcaligraphic { font-family: "Lucida Calligraphy", "Zapf Chancery","URW Chancery L"; } +/* Fallbacks for when content+mathvariant cannot be mapped to Unicode */ +.ltx_mathvariant_italic { font-style: italic; } +.ltx_mathvariant_bold { font-weight: bold; } +.ltx_mathvariant_bold-italic { font-style: italic; font-weight: bold; } +.ltx_mathvariant_sans-serif { font-family: sans-serif; } +.ltx_mathvariant-bold-sans-serif { font-family: sans-serif; font-weight: bold; } +.ltx_mathvariant-sans-serif-italic { font-family: sans-serif; font-style: italic; } +.ltx_mathvariant-bold-sans-serif-italic { font-family: sans-serif; font-style: italic; font-weight: bold; } +.ltx_mathvariant_monospace { font-family: monospace; } +/* Can we say anything generic about double-struck, script or fraktur ? */ +.ltx_mathvariant_double-struck { font-weight: bold; } +.ltx_mathvariant_script { font-family: "Lucida Calligraphy", "Zapf Chancery","URW Chancery L", cursive; } +.ltx_mathvariant_bold-script { font-family: "Lucida Calligraphy", "Zapf Chancery","URW Chancery L", cursive; font-weight: bold; } +.ltx_mathvariant-fraktur { }/* ??? */ +.ltx_mathvariant_bold-fraktur { font-weight: bold; } + +/* + +.ltx_font_mathscript { ? } +*/ +cite { font-style: normal; } + +.ltx_red { color:red; } +/*.ltx_centering { text-align:center; margin:auto; }*/ +/*.ltx_inline-block.ltx_centering,*/ +/* Hmm.... is this right in general? */ +.ltx_centering { display:block; margin:auto; text-align:center; } + +/* Dubious stuff */ +.ltx_hflipped { + display:inline-block; + transform: scaleX(-1); } +.ltx_vflipped { + display:inline-block; + transform: scaleY(-1); } + +/* .ltx_phantom handled in xslt */ + +.ltx_minipage { + align-self: normal; + display: inline-block; +} +.ltx_minipage > .ltx_graphics { + max-width:100%; +} diff --git a/docs/ltx-article.css b/docs/ltx-article.css new file mode 100644 index 0000000..1946cde --- /dev/null +++ b/docs/ltx-article.css @@ -0,0 +1,75 @@ + +.ltx_title_document { font-size:170%; text-align:center; margin:0.5em 0 0.5em 0; } +.ltx_dates, +.ltx_authors, +.ltx_role_author { text-align:center; margin:0.5em 0 0.5em 0; } +.ltx_role_author .ltx_personname { font-size: 120%; } +.ltx_date { text-align:center; font-size: 120%; margin:0.5em 0 0.5em 0; } +.ltx_subtitle { text-align:center; font-size: 120%; padding-left:0.2em; margin-left:-0.5em; } + +.ltx_title_abstract { text-align:center; font-size: 100%; font-weight:bold; } +.ltx_abstract { + margin-left:clamp(1em, 6%, 4em); + margin-right:clamp(1em, 6%, 4em); } +.ltx_title_acknowledgements, +.ltx_title_keywords, +.ltx_title_classification { + text-align:left; font-size: 100%; font-weight:bold; margin:0.5em 0 0 0; } + +.ltx_appendix, +.ltx_part, +.ltx_section, +.ltx_subsection, +.ltx_subsubsection { margin-top:1.5em; } +.ltx_paragraph, +.ltx_subparagraph { margin-top:1.0em; } + +.ltx_title_part { font-size:250%; font-weight:bold; margin-bottom:1em; } +.ltx_title_appendix, +.ltx_title_section, +.ltx_title_index, +.ltx_title_glossary, +.ltx_title_bibliography { font-size:140%; font-weight:bold; margin-bottom:1em; } +.ltx_title_subsection { font-size:120%; font-weight:bold; margin-bottom:1em; } +.ltx_title_subsubsection { font-size:100%; font-weight:bold; margin-bottom:1em; } + +/* Paragraph & Subparagraph titles should be runin! */ +.ltx_title_paragraph { font-size:100%; font-weight:bold; display:inline; + margin-right:1em; } +.ltx_paragraph .ltx_title, +.ltx_paragraph .ltx_title + .ltx_para, +.ltx_paragraph .ltx_title + .ltx_para > .ltx_p { display:inline; } + +.ltx_title_subparagraph { font-size:100%; font-weight:bold; display:inline; + margin-left:2em; margin-right:1em; } +.ltx_subparagraph .ltx_title, +.ltx_subparagraph .ltx_title + .ltx_para, +.ltx_subparagraph .ltx_title + .ltx_para > .ltx_p { display:inline; } + +.ltx_figure { text-align:center; margin:auto; margin:0.5em; } +.ltx_table { text-align:center; margin:auto; margin:0.5em; } + +/* experimental: flex model, to center short captions, justify long ones */ +.ltx_table, +.ltx_figure { display:flex; flex-direction:column; align-items:center; } +.ltx_table .ltx_caption, +.ltx_figure .ltx_caption { text-align:justify; } + +/* first p in para gets indented; , even 1st in section if marked "no" first child */ +.ltx_para > .ltx_p:first-child, +section.ltx_pruned_first > .ltx_title + .ltx_para > .ltx_p, +section.ltx_indent_first > .ltx_title + .ltx_para > .ltx_p { text-indent:2em; } +/* except the initial in a section */ +section > .ltx_title +.ltx_para > .ltx_p, +section > .ltx_title +.ltx_date +.ltx_para > .ltx_p {text-indent:0em; } + +.ltx_title_abstract + .ltx_p {text-indent:2em; } + +.ltx_itemize, +.ltx_enumerate { margin-left:1em; } + +.ltx_theorem { margin-top:0.5em; margin-bottom:0.5em; } +.ltx_theorem .ltx_title { margin-bottom:0.1em; } +.ltx_theorem .ltx_title + .ltx_para, +.ltx_theorem .ltx_title + .ltx_para .ltx_p, +.ltx_theorem .ltx_title + .ltx_p { margin-top:0em; }