-
Notifications
You must be signed in to change notification settings - Fork 1.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
manual: fewer hevea-generated css classes #10605
Changes from all commits
68bc2f8
af166ce
1c0d49a
399bd38
b9a2d27
814ff8e
49332b0
4116c68
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -160,7 +160,7 @@ | |
%%% Code examples | ||
\newcommand{\input@color}{\htmlcolor{006000}} | ||
\newcommand{\output@color}{\maroon} | ||
\newcommand{\machine}{\tt} | ||
\newcommand{\machine}{\@span{class=machine}\tt} | ||
\newenvironment{machineenv}{\begin{alltt}}{\end{alltt}} | ||
\newcommand{\var}[1]{\textit{#1}} | ||
|
||
|
@@ -180,6 +180,8 @@ | |
\newcommand{\ocamlcomment}{\@span{class="ocamlcomment"}} | ||
\newcommand{\ocamlstring}{\@span{class="ocamlstring"}} | ||
|
||
\newcommand{\?}{\@span{class=ocamlprompt}\#} | ||
\newstyle{.ocamlprompt}{color:black;} | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. The previous definition of There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. As seen in my table above, this was translated in css to color:black; thus nothing has been lost as far as I can see. |
||
|
||
%%% End of code example | ||
|
||
|
@@ -191,8 +193,9 @@ | |
|
||
|
||
%%venant de macros.tex | ||
|
||
\def\versionspecific#1{\begin{quote}\textsf{#1:}\quad} | ||
\newcommand{\osvariant}{\@span{class=osvariant}} | ||
\newstyle{.osvariant}{font-family:sans-serif} | ||
\def\versionspecific#1{\begin{quote}{\osvariant{}#1:}\quad} | ||
\def\unix{\versionspecific{Unix}} | ||
\def\endunix{\end{quote}} | ||
\def\windows{\versionspecific{Windows}} | ||
|
@@ -252,7 +255,8 @@ | |
\def\ikwd#1{\indexentry{\jobname.kwd}{#1}} | ||
% nth | ||
|
||
\def\th{^{\mbox{\scriptsize th}}} | ||
\def\th{^{\mbox{\@span{class=th}th}}} | ||
\newstyle{.th}{font-size:small;} | ||
\renewcommand{\hbox}[1]{\mbox{#1}} | ||
|
||
% Notations pour les metavariables | ||
|
@@ -302,3 +306,13 @@ | |
\else | ||
\newcommand{\stddocitem}[2]{\docitem{libref/Stdlib}{#1}{#2}} | ||
\fi | ||
|
||
\renewcommand{\tt}{\@span{class=font-tt}} | ||
\newstyle{.font-tt}{font-family:monospace;} | ||
\renewcommand{\it}{\@span{class=font-it}} | ||
\newstyle{.font-it}{font-style:italic;} | ||
\renewcommand{\bf}{\@span{class=font-bold}} | ||
\newstyle{.font-bold}{font-weight:bold;} | ||
\renewcommand{\sl}{\ifmath\ifmathml\@span{class='sl-math'}% | ||
\else\@span{class="font-sl"}\fi\else\@span{class="font-sl"}\fi} | ||
\newstyle{.font-sl}{font-style:oblique;} |
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -127,7 +127,6 @@ | |
\fi | ||
}{} | ||
|
||
\newcommand{\?}{\color{black}\normalsize\tt\#{}} | ||
|
||
\ifocamldoc\else | ||
\lstnewenvironment{ocamlcodeblock}{ | ||
|
@@ -187,7 +186,6 @@ | |
\usepackage[strings,nohyphen]{underscore} | ||
|
||
%\makeatletter \def\@wrindex#1#2{\xdef \@indexfile{\csname #1@idxfile\endcsname}\@@wrindex#2||\\}\makeatother | ||
\def\th{^{\hbox{\scriptsize th}}} | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. this uses There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. We should probably be using the latex macro |
||
|
||
|
||
\raggedbottom | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
In the PDF version, "c012" actually had italic font, not slanted. But again, this doesn't matter with the current web font.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is more a mismatch on the diff, I generalized the
span.font-it
rule to.font-it
.