From bb18c8bd8cb9dedb749b6683f701a9a478f33960 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Wed, 29 Nov 2023 22:20:55 -0800 Subject: [PATCH] Tweak the HTML tags generated by Bergamot. Signed-off-by: Danila Fedorin --- src/Main.elm | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Main.elm b/src/Main.elm index 8df1b8d..82d2e87 100644 --- a/src/Main.elm +++ b/src/Main.elm @@ -28,14 +28,14 @@ init fs = ({ program = fs.rules, query = fs.query }, Cmd.none) viewSection : String -> Html Msg -> Html Msg viewSection name content = - Html.div [] [ Html.h2 [] [ Html.text name ], content ] + Html.div [ class "bergamot-section" ] [ Html.em [ class "bergamot-section-heading" ] [ Html.text name ], content ] viewRule : Rule -> Html Msg viewRule = latex << ruleToLatex viewRules : String -> Html Msg viewRules progs = viewSection "Rendered Rules" <| - Html.div [ class "rule-list" ] <| + Html.div [ class "bergamot-rule-list" ] <| case run program progs of Just prog -> List.map viewRule prog.rules Nothing -> [] @@ -48,14 +48,14 @@ tryProve progs querys = viewProofTree : String -> String -> Html Msg viewProofTree progs querys = viewSection "Proof Tree" <| - Html.div [ class "proof-tree" ] <| + Html.div [ class "bergamot-proof-tree" ] <| case tryProve progs querys of Just tree -> [ latex (proofTreeToLatex tree) ] Nothing -> [] view : Model -> Html Msg -view m = Html.div [ class "elm-root" ] +view m = Html.div [ class "bergamot-root" ] [ viewSection "Rules" <| Html.textarea [ onInput SetProgram ] [ Html.text m.program ] , viewSection "Query" <| Html.input [ type_ "text", onInput SetQuery, value m.query ] [] , viewRules m.program