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