Fix turnstile symbol and margin for ASCII

tirix · Oct 29, 2023 · 682f526 · 682f526
1 parent 3980516
commit 682f526
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflow/rust.yml → .github/workflows/rust.yml b/.github/workflow/rust.yml → .github/workflows/rust.yml
diff --git a/src/statement.hbs b/src/statement.hbs
@@ -46,7 +46,7 @@
 						<td class="col-step"></td>
 						<td class="col-hyp">{{#if @first}}{{#if @last}}Hypothesis{{else}}Hypotheses{{/if}}{{/if}}</td>
 						<td class="col-ref" ><a href="{{label}}" class="label">{{label}}</a></td>
-						<td class="col-expr">⊢ {{expr}}</td>
+						<td class="col-expr">{{expr}}</td>
 					</tr>
 				{{/each}}
 				<tr>
@@ -76,7 +76,7 @@
 								{{#each hyps }}<a class="step" href="#{{this}}">{{this}}</a>{{#if (not @last)}} {{/if}}{{/each}}
 							</td>
 							<td class="col-ref" ><a href="{{label}}" class="label">{{label}}</a></td>
-							<td class="col-expr"><a name="{{id}}"></a>⊢ {{expr}}</td>
+							<td class="col-expr"><a name="{{id}}"></a>{{expr}}</td>
 						</tr>
 					{{/each}}
 				</table>

diff --git a/src/uni.rs b/src/uni.rs
@@ -17,7 +17,7 @@ impl UnicodeRenderer {
     }
 
     pub(crate) fn render_formula(&self, formula: &Formula) -> Result<String, String> {
-        let mut output: String = "".into();
+        let mut output: String = "⊢ ".into();
         //        write!(output, "{} ", as_str(if use_provables
         let typesetting = self.database.typesetting_result();
         let nset = self.database.name_result();

diff --git a/static/metamath.css b/static/metamath.css
@@ -111,6 +111,7 @@ a:hover {
 
 pre {
     font-family: Inconsolata, 'Courier New', Courier, monospace;
+    margin: 0;
 }
 
 qed {
-Original file line number
+Diff line change
@@ Expand Up / @@ -111,6 +111,7 @@ a:hover { @@
     pre {
         font-family: Inconsolata, 'Courier New', Courier, monospace;
+        margin: 0;
     }
     qed {
@@ Expand Down @@