k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] latex custom change through k.sty

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] latex custom change through k.sty
Date: Fri, 16 May 2014 20:22:10 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

OK. I did it by removing \begin{Sbox}% and \end{Sbox}% and also removing:
\begin{tikzpicture}
\node[comment]{\TheSbox};
\end{tikzpicture}%

Now, how do I set the page width and margins?

On Fri, May 16, 2014 at 7:59 PM, Omar Duhaiby <3omarz AT gmail.com> wrote:

Hello,

When I compile the K-generated tex using pdflatex, the paragraphs come inside colored round-edged squares. I need I need to remove these squares. What do I change in the k.sty file to do that?

[K-user] latex custom change through k.sty, Omar Duhaiby, 05/16/2014
- <Possible follow-up(s)>
- Re: [K-user] latex custom change through k.sty, Omar Duhaiby, 05/16/2014
  - Re: [K-user] latex custom change through k.sty, Traian Florin Şerbănuţă, 05/16/2014
    - Re: [K-user] latex custom change through k.sty, Omar Duhaiby, 05/17/2014