;; theme file, written Mon Jan 24 16:38:28 2000
;; created by sawmill-themer -- DO NOT EDIT!

(require 'make-theme)

(let
    ((patterns-alist
      '(("part#18"
         (inactive
          "part#18.png"))
        ("part#17"
         (inactive
          "part#17.png"))
        ("part#16"
         (inactive
          "part#16.png"))
        ("part#15"
         (inactive
          "part#15.png"))
        ("part#14"
         (inactive
          "part#14.png"))
        ("part#13"
         (inactive
          "part#13.png"))
        ("part#12"
         (inactive
          "part#12.png"))
        ("part#11"
         (inactive
          "part#11.png"))
        ("part#10"
         (inactive
          "part#10.png"))
        ("part#9"
         (inactive
          "part#9.png")
         (clicked
          "part#9-clicked.png"))
        ("part#8"
         (inactive
          "part#8.png")
         (clicked
          "part#8-clicked.png"))
        ("part#7"
         (inactive
          "part#7.png")
         (clicked
          "part#7-clicked.png"))
        ("part#6"
         (inactive
          "part#6.png")
         (focused
          "part#6-focused.png"))
        ("part#5"
         (inactive
          "part#5.png"))
        ("part#4"
         (inactive
          "part#4.png"))
        ("part#3"
         (inactive
          "part#3.png"))
        ("part#2"
         (inactive
          "part#2.png"))
        ("part"
         (inactive
          "part.png"))))

     (frames-alist
      '(("normal"
         ((right-edge . -4)
          (background . "part#18")
          (top-edge . 0)
          (bottom-edge . 0)
          (class . right-border)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#17")
          (right-edge . -4)
          (bottom-edge . -4)
          (class . bottom-right-corner)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#16")
          (left-edge . 0)
          (right-edge . 0)
          (bottom-edge . -4)
          (class . bottom-border)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#15")
          (left-edge . -4)
          (bottom-edge . -4)
          (class . bottom-left-corner)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#14")
          (left-edge . -4)
          (top-edge . 0)
          (bottom-edge . 0)
          (class . left-border)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#13")
          (right-edge . -4)
          (top-edge . -4)
          (class . none)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#12")
          (left-edge . 18)
          (right-edge . 19)
          (top-edge . -4)
          (class . none)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#11")
          (left-edge . -4)
          (top-edge . -4)
          (class . none)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#10")
          (right-edge . -4)
          (top-edge . -21)
          (class . top-right-corner)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#9")
          (right-edge . 0)
          (top-edge . -21)
          (class . close-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#8")
          (right-edge . 19)
          (top-edge . -21)
          (class . maximize-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#7")
          (right-edge . 33)
          (top-edge . -21)
          (class . iconify-button)
          (x-justify . center)
          (y-justify . center))
         ((left-edge . 18)
          (right-edge . 47)
          (top-edge . -21)
          (foreground . "#ffffffffffff")
          (text . window-name)
          (background . "part#6")
          (class . title)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#5")
          (left-edge . 0)
          (top-edge . -21)
          (class . menu-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#4")
          (left-edge . -4)
          (top-edge . -21)
          (class . top-left-corner))
         ((background . "part#3")
          (right-edge . -4)
          (top-edge . -26)
          (class . top-right-corner))
         ((background . "part#2")
          (left-edge . 18)
          (right-edge . 19)
          (top-edge . -26)
          (class . top-border))
         ((background . "part")
          (left-edge . -4)
          (top-edge . -26)
          (class . none)))
        ("shaped"
         ((top-edge . -4)
          (right-edge . -4)
          (background . "part#17")
          (class . bottom-right-corner)
          (x-justify . center)
          (y-justify . center))
         ((top-edge . -4)
          (right-edge . 0)
          (left-edge . 0)
          (background . "part#16")
          (class . bottom-border)
          (x-justify . center)
          (y-justify . center))
         ((top-edge . -4)
          (left-edge . -4)
          (background . "part#15")
          (class . bottom-left-corner)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#10")
          (right-edge . -4)
          (top-edge . -21)
          (class . top-right-corner)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#9")
          (right-edge . 0)
          (top-edge . -21)
          (class . close-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#8")
          (right-edge . 19)
          (top-edge . -21)
          (class . maximize-button)
          (x-justify . center)
          (y-justify . center))
         ((top-edge . -21)
          (right-edge . 33)
          (background . "part#7")
          (class . iconify-button)
          (x-justify . center)
          (y-justify . center))
         ((foreground . "#ffffffffffff")
          (text . window-name)
          (right-edge . 47)
          (left-edge . 18)
          (background . "part#6")
          (top-edge . -21)
          (class . title)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#5")
          (left-edge . 0)
          (top-edge . -21)
          (class . menu-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#4")
          (left-edge . -4)
          (top-edge . -21)
          (class . top-left-corner))
         ((background . "part#3")
          (right-edge . -4)
          (top-edge . -26)
          (class . top-right-corner))
         ((background . "part#2")
          (left-edge . 18)
          (right-edge . 19)
          (top-edge . -26)
          (class . top-border))
         ((background . "part")
          (left-edge . -4)
          (top-edge . -26)
          (class . none)))
        ("transient"
         ((bottom-edge . 0)
          (top-edge . 0)
          (right-edge . -4)
          (background . "part#18")
          (class . right-border)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#17")
          (right-edge . -4)
          (bottom-edge . -4)
          (class . bottom-right-corner)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#16")
          (left-edge . 0)
          (right-edge . 0)
          (bottom-edge . -4)
          (class . bottom-border)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#15")
          (left-edge . -4)
          (bottom-edge . -4)
          (class . bottom-left-corner)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#14")
          (left-edge . -4)
          (top-edge . 0)
          (bottom-edge . 0)
          (class . left-border)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#13")
          (right-edge . -4)
          (top-edge . -4)
          (class . none)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#12")
          (left-edge . 18)
          (right-edge . 19)
          (top-edge . -4)
          (class . none)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#11")
          (left-edge . -4)
          (top-edge . -4)
          (class . none)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#10")
          (right-edge . -4)
          (top-edge . -21)
          (class . top-right-corner)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#9")
          (right-edge . 0)
          (top-edge . -21)
          (class . close-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#8")
          (right-edge . 19)
          (top-edge . -21)
          (class . maximize-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#7")
          (right-edge . 33)
          (top-edge . -21)
          (class . iconify-button)
          (x-justify . center)
          (y-justify . center))
         ((foreground . "#ffffffffffff")
          (text . window-name)
          (top-edge . -21)
          (right-edge . 47)
          (background . "part#6")
          (left-edge . 18)
          (class . title)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#5")
          (left-edge . 0)
          (top-edge . -21)
          (class . menu-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#4")
          (left-edge . -4)
          (top-edge . -21)
          (class . top-left-corner))
         ((background . "part#3")
          (right-edge . -4)
          (top-edge . -26)
          (class . top-right-corner))
         ((background . "part#2")
          (left-edge . 18)
          (right-edge . 19)
          (top-edge . -26)
          (class . top-border))
         ((background . "part")
          (left-edge . -4)
          (top-edge . -26)
          (class . none)))
        ("shaped-transient"
         ((right-edge . -4)
          (background . "part#10")
          (top-edge . -21)
          (class . top-right-corner)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#9")
          (right-edge . 0)
          (top-edge . -21)
          (class . close-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#8")
          (right-edge . 19)
          (top-edge . -21)
          (class . maximize-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#7")
          (right-edge . 33)
          (top-edge . -21)
          (class . iconify-button)
          (x-justify . center)
          (y-justify . center))
         ((foreground . "#ffffffffffff")
          (text . window-name)
          (right-edge . 47)
          (background . "part#6")
          (left-edge . 18)
          (top-edge . -21)
          (class . title)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#5")
          (left-edge . 0)
          (top-edge . -21)
          (class . menu-button)
          (x-justify . center)
          (y-justify . center))
         ((background . "part#4")
          (left-edge . -4)
          (top-edge . -21)
          (class . top-left-corner))
         ((background . "part#3")
          (right-edge . -4)
          (top-edge . -26)
          (class . top-right-corner))
         ((background . "part#2")
          (left-edge . 18)
          (right-edge . 19)
          (top-edge . -26)
          (class . top-border))
         ((background . "part")
          (left-edge . -4)
          (top-edge . -26)
          (class . none))
         ((top-edge . -4)
          (background . "part#15")
          (left-edge . -4)
          (class . bottom-left-corner))
         ((right-edge . 0)
          (background . "part#16")
          (top-edge . -4)
          (left-edge . 0)
          (class . bottom-border))
         ((right-edge . -4)
          (background . "part#17")
          (top-edge . -4)
          (class . bottom-right-corner)))
        ("unframed")))

     (mapping-alist
      '((default . "normal")
        (transient . "transient")
        (shaped . "shaped")
        (shaped-transient . "shaped-transient")
        (unframed . "nil")))

     (theme-name 'BrushedMetalII))

  (add-frame-style
   theme-name (make-theme patterns-alist frames-alist mapping-alist))
  (when (boundp 'mark-frame-style-editable)
    (mark-frame-style-editable theme-name)))
