maybe sTeX build server fix for pdflatex

UniFormal · Dec 19, 2023 · cdf8ec1 · cdf8ec1
1 parent 0e56edc
commit cdf8ec1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/mmt-api/resources/mmt-web/stex/rustex-min.css b/src/mmt-api/resources/mmt-web/stex/rustex-min.css
@@ -206,7 +206,7 @@ math {
 .definiendum{color:#ed028c}
 .varcomp{color:#828282}
 .symcomp{color:#0e90d2}
-.frame{background-color:#fff;margin:0 auto;border:2px solid #000;border-radius:5px;overflow-y:auto;padding:1%;width:97%}
+.frame{background-color:#fff;margin:0 auto;border:2px solid #000;border-radius:5px;overflow-y:auto;padding:5px;padding-right:10px;width:97%}
 .halign{display:table}.row{display: table-row}.cell{display: table-cell}
 .inner-frame{
     overflow-wrap:initial;
@@ -225,4 +225,4 @@ math {
 }
 .rustex-scaled>*:first-child {
     --current-width:var(--this-width);
-}
+}
diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/LaTeXBuildTarget.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/LaTeXBuildTarget.scala
@@ -551,7 +551,7 @@ class FullsTeX extends Importer with XHTMLParser {
           Seq(("STEX_USESMS","true"))
         } else {
           //println("HERE: Not using sms file of size " + sms.toJava.length())
-          Seq()
+          Seq(("STEX_USESMS","false"))
         }
       }
       ilog("    -    pdflatex " + bt.inPath + " (second run)")