K-user mailing list

[Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro>]

If in the latex generated you remove the poster option when loading the k package, it will typeset the definition in an article-like form.  you can then use any command you want (including the geometry package) to set lengths and margins.

hope this helps,

Traian

2014-05-16 20:22 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:

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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user