-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtexstyle.tex
96 lines (83 loc) · 3.42 KB
/
texstyle.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
%\usepackage{libertine}
%\usepackage{libertinust1math}
%\usepackage[T1]{fontenc}
\newcommand{\identity}[1]{#1}
\usepackage{pbox}
\usepackage{booktabs}
\usepackage{tikz}
\usepackage{xfrac}
\usepackage{mathpartir}
\usepackage{harpoon}
% For smaller code
%\renewenvironment{RktBlk}{\begin{small}}{\par\end{small}\vspace{-0.25em}}
%\renewenvironment{RktBlk}{\begin{footnotesize}}{\par\end{footnotesize}\vspace{-0.25em}}
%\renewenvironment{SCodeFlow}{\vspace{0.25em}\begin{footnotesize}}{\par\end{footnotesize}\vspace{0.25em}}
\renewenvironment{SCodeFlow}{\begin{footnotesize}}{\par\end{footnotesize}}
\setlength\marginparwidth{1cm}
%\usepackage{draftwatermark}
%\SetWatermarkText{DRAFT}
%\SetWatermarkScale{1}
%\overfullrule=10pt
%\renewcommand{\SHyphen}[1]{\mbox{#1}}
\renewcommand{\Ssection}[2]{\section[]{#2}\let\thesubsection\SOriginalthesubsection}
\newenvironment{astfootnotes}
{\par\edef\savedfootnotenumber{\number\value{footnote}}
\renewcommand{\thefootnote}{\fnsymbol{footnote}}
\setcounter{footnote}{1}}
{\par\setcounter{footnote}{\savedfootnotenumber}}
\renewcommand{\textrightarrow}{$\rightarrow$}
\begin{CCSXML}
<ccs2012>
<concept>
<concept_id>10011007.10011006.10011008.10011009.10011012</concept_id>
<concept_desc>Software and its engineering~Functional languages</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10011007.10011006.10011041.10011049</concept_id>
<concept_desc>Software and its engineering~Preprocessors</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10011007.10011006.10011050.10011055</concept_id>
<concept_desc>Software and its engineering~Macro languages</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10011007.10011006.10011060.10011690</concept_id>
<concept_desc>Software and its engineering~Specification languages</concept_desc>
<concept_significance>500</concept_significance>
</concept>
<concept>
<concept_id>10011007.10011074.10011075</concept_id>
<concept_desc>Software and its engineering~Designing software</concept_desc>
<concept_significance>300</concept_significance>
</concept>
<concept>
<concept_id>10002951.10003227.10003251.10003256</concept_id>
<concept_desc>Information systems~Multimedia content creation</concept_desc>
<concept_significance>300</concept_significance>
</concept>
<concept>
<concept_id>10010405.10010469.10010474</concept_id>
<concept_desc>Applied computing~Media arts</concept_desc>
<concept_significance>300</concept_significance>
</concept>
<concept>
<concept_id>10003120.10003121.10003124.10010865</concept_id>
<concept_desc>Human-centered computing~Graphical user interfaces</concept_desc>
<concept_significance>100</concept_significance>
</concept>
</ccs2012>
\end{CCSXML}
\ccsdesc[500]{Software and its engineering~Functional languages}
\ccsdesc[500]{Software and its engineering~Preprocessors}
\ccsdesc[500]{Software and its engineering~Macro languages}
\ccsdesc[500]{Software and its engineering~Specification languages}
\ccsdesc[300]{Software and its engineering~Designing software}
\ccsdesc[300]{Information systems~Multimedia content creation}
\ccsdesc[300]{Applied computing~Media arts}
\ccsdesc[100]{Human-centered computing~Graphical user interfaces}
%\acmBadgeR[http://dx.doi.org/10.1145/3110274]{artifact_evaluated-reusable.png}
%\acmBadgeL[http://dx.doi.org/10.1145/3110274]{artifact_available.png}
\newcommand{\Thyperref}[2]{\hyperref[#2]{#1}}