styles.img.logo >
styles.img.logo {
    # cat=logo/dims; type=int[1-1000]; label=Pixeldimensions, X: Pixeldimensions of topframe image (pixels)
  X = 625
    # cat=logo/dims; type=int[1-300]; label=Pixeldimensions, Y: Pixeldimensions of topframe image (pixels)
  Y = 92

    # cat=logo/color; type=color; label=Image background color
  bgCol = #CBB99C
    # cat=logo/color; type=color; label=Logo color
  logoCol = #165D89
    # cat=logo/color; type=color; label=Image border color: Color of the image-border
  boxColor = black

    # cat=logo/dims; type=int[0-20]; label=Thickness of border
  boxThickness = 2

    # cat=logo/dims; type=offset; label=Logo offset: Offset of logo from upper-left corner of the image.
  logoOffset = 10,5

    # cat=logo; type=options[gif,jpg]; label=Image file format
  format = gif

    # cat=logo/file; type=file[IMAGE_EXT]; label=Imagefile
  file.image = EXT:statictemplates/media/uploads/topimage.jpg
    # cat=logo/file; type=file[IMAGE_EXT]; label=Imagefile Mask; Grayscale mask used to mask the Imagefile onto the colored background of the image. White areas make the image visible, dark areas hide the image.
  file.mask = EXT:statictemplates/media/uploads/topmask.jpg
    # cat=logo/file; type=file[IMAGE_EXT]; label=Imagefile, Logo mask: Grayscale mask used to impose the logo-colors onto the image. NOTE: The mask is inverted here!: DARK areas make the color visible, WHITE areas hide the color.
  file.logo = EXT:statictemplates/media/uploads/toplogo.jpg
}


