Dear List, I need a tip how to do this: In the command \definepapersize[Mybook] the height should be not 24 cm, but a little bit longer. My Problem is, as you can see on the PDF, that there are troubles with the Gray Background. The Gray Background should begin with : Mitunter. . I think it should be the topoffset, and the bottomoffset, but how many .\bodyfontsize should I try? Many thanks Uschi \mainlanguage[de] \definepapersize[MyBook][width=19cm,height=24cm] \setuppapersize[MyBook][MyBook] % Prints on paper the size of MyBook %\setuppapersize[MyBook][A4] %Would print MyBook-size pages on A4 paper \setupbodyfont[Times New Roman,12.55pt] \definemargindata [MyInMargin][inright] \definemarginframed[MyInMargin][topframe=on,bottomframe=on,rulethickness=1pt,width=1.90cm] \defineenumeration [theorem] [ text=Theorem, title=yes, width=fit, distance=0.2em, alternative=serried, ] \definetextbackground[GrayBackground][ location=paragraph, background=color, backgroundcolor=lightgray, leftoffset=.8\bodyfontsize, rightoffset=.8\bodyfontsize, topoffset=.5\bodyfontsize, bottomoffset=.5\bodyfontsize, frame=off,] \margintext{\blackrule[color=black, height=0.10ex, width=1cm]\\} \blackrule[color=black, height=0.10ex, width=13.50cm] \starttext \margintext {1.1.1} {\bf Beispiel 3.2.17 (Vertauschung von All- und Existenzquantor).} \par {\it Sei M die Menge aller Männer und F die Menge aller Frauen. Die Aus-\par sage h(m, f) sei ”m ist verliebt in f“. Unter diesen Voraussetzungen machen Sie sich die Bedeutung der beiden Aussagen klar.} \par \startitemize[n,packed,broad] \item \m{\forall m ∈ M : ∃f ∈ F : h(m, f)} \item ∃f ∈ F : ∀m ∈ M : h(m, f). \stopitemize \startGrayBackground \tf Mitunter ist es aus der Formulierung nur schwer zu erkennen, dass ein \m ∃\forall∀ oder ein \m \forall∀\m∃ versteckt ist. Dann ist es besonders wichtig, die Formulierung sehr lange zu prüfen und eventuell auch formalisiert noch einmal aufzuschreiben.” \blank \setupnarrower [left=0.80cm, right=0.80cm] \startnarrower[left, right] \definehspace[oneem][0.5em] Der\hspace[oneem] Wert\hspace[oneem] von\hspace[oneem] \m{y = f(x)} ist unabhängig von der Wahl\\ von \m{x\doubleprime} ist gleichbedeutend mit \m{∃y : ∀x : f(x) = y} \\ (Beutelspacher [10, S.54])\par \blank \stopnarrower \stopGrayBackground \blank \blackrule[color=black, height=0.10ex, width=13.50cm] \setupinteraction [state=start, color=blue] \reference[Regel:1]{3.1}\par {\bf Aufgabe 3.2.18} Formulieren Sie gemäß der Regel (\goto{3.1}[Regel:1]) äquivalent \startitemize[n,packed,broad] \item \m{\forall n \in \naturalnumbers\mtp{:} n^2 > n \implies n > 1},\item \m{\forall n \in \naturalnumbers\mtp{:} 3\divides n \implies 4 \divides n},\item \m{\forall n \in \naturalnumbers\mtp{:} n^3 \mtext{ ungerade }\nospace \implies n \mtext{ ungerade}}. \stopitemize \blackrule[color=black, height=0.10ex, width=13.50cm]\par {\bf Aufgabe 3.2.19} Bilden Sie die Verneinung der folgenden Aussagen: \startitemize[n,packed,broad] \item Alle Rosen sind verwelkt oder teuer. \item Alle rosen sind entweder verwelkt oder teuer. \stopitemize \par \usecolors[svg] \setupinteraction [state=start, contrastcolor=cornflowerblue] \reference[Abschnitt:1]{3.2.1.1} {\it Hinweis: Beachten Sie die Konvention aus Abschnitt \goto {3.2.1.1}[Abschnitt:1]die For-\par mulierung \quotation {entweder ... oder} entspricht dem ausschließenden Oder\par und die Formulierung \quotation{oder} dem (mathematischen) einschließenden\par Oder.\par \blackrule[color=black, height=0.10ex, width=13.50cm]