Style.tex

\documentclass[a4paper]{article}
\usepackage{ctex}

\usepackage{microtype, shorttoc}
\usepackage{geometry}

\usepackage{hyperref}
\hypersetup{
    colorlinks=true,
    linkcolor=blue,
    filecolor=magenta,      
    urlcolor=cyan,
}

%% 列举

\newenvironment{tightenum}{
  \begin{enumerate}
    \setlength{\itemindent}{2\ccwd}
    \setlength{\itemsep}{0cm}
    \setlength{\parskip}{0cm}
}{
  \end{enumerate}
}


%% 定理、推论等
\usepackage{amsmath,amsfonts,amssymb,amsthm,epsfig,epstopdf,titling,url,array}
\theoremstyle{plain}
\newtheorem{thm}{定理}[section]
\newtheorem{lem}[thm]{引理}
\newtheorem{prop}[thm]{Proposition}
\newtheorem*{cor}{推论}

\theoremstyle{definition}
\newtheorem{defn}{定义}[section]
\newtheorem{conj}{Conjecture}[section]
\newtheorem{exmp}{例}[section]
\newtheorem{exerc}{练习}[section]

\theoremstyle{remark}
\newtheorem*{rem}{注}
\newtheorem*{note}{注记}
\newtheorem{notation}{符号约定}


%%证明树
\usepackage{bussproofs}
\usepackage{proof}


%%图表
\usepackage[all,cmtip]{xy}



%插入代码设置
\usepackage{listings}
\usepackage{xcolor} %代码高亮



%分栏
\usepackage{multicol}