If you need to change it, what if you use a "style" element embedded in
your html? i.e.
import Html exposing (Html, node)
import Json.Encode exposing (string)
import Html.Attributes exposing (property)
{-| Return a `style` HTML tag, to be used for inline CSS styling
-}
style' : String -> Html msg
style' css =
let
encodedStyles =
string css
in
node "style" [ property "innerHTML" encodedStyles ] []
On Thu, Nov 3, 2016 at 9:10 AM, Jacky See <[email protected]> wrote:
> Say you want to provide layout customization : Compact, Cozy, Comfortable
> (like in gmail)
> correspond to root font size 12px, 16px, 18px respectively,
> The preference is stored and can be controlled by the Elm app.
>
> You may construct a stylesheet:
>
> html { font-size: 16px}
> html.small {font-size:12px}
> html.medium {font-size:16px}
> html.large {font-size:18px}
>
> Here you need to apply the class change to `html` which is out of Elm's
> reach
> and seems that you can only do it in port.
>
> On Wednesday, November 2, 2016 at 1:22:17 PM UTC+8, Duane Johnson wrote:
>>
>> Why not use a stylesheet?
>>
>> On Tue, Nov 1, 2016 at 9:22 PM, Jacky <[email protected]> wrote:
>>
>>> For app that use `rem` for styling, the font size is set at html node
>>>
>>> html { font-size: 18px; }
>>>
>>> Is that the only way to control this value is by port and do it in js?
>>> --
>>> Best Regards,
>>> Jacky See
>>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "Elm Discuss" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to [email protected].
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>
>> --
> You received this message because you are subscribed to the Google Groups
> "Elm Discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> For more options, visit https://groups.google.com/d/optout.
>
--
You received this message because you are subscribed to the Google Groups "Elm
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
