module FF.CSS.Spec.Safe.Syntax.Examples where

open import Agda.Builtin.String using (String)

open import FF.CSS.Render using (renderDeclaration)
open import FF.CSS.Spec.Safe
open import FF.CSS.Spec.Safe.Syntax

colorExample : DeclarationT
colorExample = color (named rebeccapurple)

marginExample : DeclarationT
marginExample = margin (oneSide (margin-lp (lp (remLength "1"))))

renderedColorExample : String
renderedColorExample = renderDeclaration renderer colorExample