.post-body .comparisonFigure{width:100%;max-width:800px;margin:28px 0}.comparisonFigure .comparisonTriangle{position:relative;height:460px;font-size:.88rem;line-height:1.45}.post-body .comparisonTriangle svg{position:absolute;width:100%;max-width:100%;height:100%;margin:0;fill:none;stroke:var(--rule);stroke-width:2}.comparisonFigure .triangleVertex,.comparisonFigure .triangleApproach,.comparisonFigure .triangleCenter{position:absolute;text-align:center;background:var(--bg);padding:8px;margin:0}.comparisonFigure .triangleVertex{width:28%}.comparisonFigure .triangleVertex strong{display:block;font:1.5rem var(--font-serif);margin-bottom:4px}.comparisonFigure .triangleVertex span,.comparisonFigure .triangleApproach span,.comparisonFigure .triangleApproach small{display:block}.comparisonFigure .triangleVertex span,.comparisonFigure .triangleApproach small{font-size:.78rem;color:var(--muted)}.comparisonFigure .triangleUnbounded{left:36%;top:0}.comparisonFigure .triangleTerminating{left:0;bottom:0}.comparisonFigure .triangleExact{right:0;bottom:0}.comparisonFigure .triangleApproach{width:36%}.comparisonFigure .triangleApproach a{display:inline-block;font-family:var(--font-mono);font-weight:700;margin-bottom:5px}.comparisonFigure .triangleApproach small{margin-top:5px}.comparisonFigure .triangleProverif{left:0;top:29%}.comparisonFigure .triangleTamarin{right:0;top:29%}.comparisonFigure .triangleVerifpal{left:32%;bottom:28px}.comparisonFigure .comparisonTriangle .triangleCenter{left:36%;top:55%;width:28%;font-size:.8rem;color:var(--muted)}.post-body .comparisonFigure figcaption{margin-top:16px;font-family:var(--font-serif);font-size:.86rem;font-style:normal;letter-spacing:normal;text-align:left;color:var(--muted)}@media(max-width:640px){.comparisonFigure .comparisonTriangle{height:530px;font-size:.82rem}.comparisonFigure .triangleVertex{width:45%}.comparisonFigure .triangleVertex strong{font-size:1.25rem}.comparisonFigure .triangleUnbounded{left:27.5%}.comparisonFigure .triangleApproach{width:47%}.comparisonFigure .triangleProverif,.comparisonFigure .triangleTamarin{top:23%}.comparisonFigure .triangleVerifpal{left:18%;width:64%;bottom:94px}.comparisonFigure .triangleTerminating,.comparisonFigure .triangleExact{top:86%;bottom:auto}.comparisonFigure .comparisonTriangle .triangleCenter{left:15%;top:50%;width:70%}}