Checkbox size and placement insensitive to changes.

[jxxcarlson]

The code below yields a very large checkbox with the label "Public" appearing below on the left. The height and width functions change the size of the rectangle which is styled with color blue by XXX, but does not affect the size or placement of the checkbox itself

editorTools model =
    column TOC
        [ alignLeft, padding 20, spacing 20, width (px 300), height (px ((toFloat model.window.height) - 129.0)) ]
        [ el Box [ width (px 100) ] (text "Editor tools")
        , checkbox model.current_document.attributes.public XXX [ height (px 15), width (px 15) ] (text "Public")
        ]

[jxxcarlson]

I believe that the problem I have in styling radio buttons is identical to the the checkbox problem

[mdgriffith]

Form elements are going to get a revamp sometime in the near/medium future. For solving a problem now, you can always craft a checkbox using el.

If you want, I can take a look, but I'll need the code to be as concise as possible and on ellie.