(custom-set-variables
  ;; custom-set-variables was added by Custom.
  ;; If you edit it by hand, you could mess it up, so be careful.
  ;; Your init file should contain only one such instance.
  ;; If there is more than one, they won't work right.
 '(Info-fontify t)
 '(abbrev-file-name "stolfi-abbrev-defs.txt")
 '(abbreviated-calendar-year nil)
 '(auto-raise-tool-bar-buttons t t)
 '(auto-resize-tool-bars t t)
 '(auto-revert-mode nil t)
 '(auto-save-file-format t t)
 '(buffers-menu-max-size 20)
 '(clip-large-size-font t t)
 '(compilation-ask-about-save t)
 '(fill-column 99999999)
 '(mouse-buffer-menu-maxlen 20)
 '(mouse-buffer-menu-mode-mult 10000)
 '(mouse-wheel-progressive-speed nil)
 '(msb-display-invisible-buffers-p t)
 '(msb-display-most-recently-used 20)
 '(msb-item-sort-function nil)
 '(msb-max-file-menu-items 20)
 '(msb-max-menu-items 20)
 '(msb-mode t nil (msb))
 '(toolbar-news-reader (quote gnus) t)
 '(user-mail-address "stolfi@ic.unicamp.br"))
(custom-set-faces
  ;; custom-set-faces was added by Custom.
  ;; If you edit it by hand, you could mess it up, so be careful.
  ;; Your init file should contain only one such instance.
  ;; If there is more than one, they won't work right.
 '(Info-title-1-face ((t (:inherit Info-title-2-face :foreground "red" :underline t :weight bold :height 1.0 :family "courier"))))
 '(Info-title-2-face ((t (:inherit Info-title-3-face :foreground "brown" :underline t :weight bold :family "courier"))))
 '(Info-title-3-face ((t (:inherit Info-title-4-face :foreground "forestgreen" :underline t :weight bold :family "courier"))))
 '(Info-title-4-face ((t (:inherit variable-pitch :foreground "midnightblue" :underline t :weight bold :family "courier"))))
 '(border ((t (:background "black"))))
 '(compilation-info ((((class color) (background light)) (:foreground "forestgreen" :family "courier"))))
 '(compilation-warning ((((class color) (background light)) (:foreground "magenta" :family "courier"))))
 '(custom-button-face ((((type x w32 mac) (class color)) (:background "lightgrey" :foreground "brown" :box (:line-width 2 :style released-button)))) t)
 '(custom-face-tag-face ((t (:inherit fixed-pitch :foreground "purple" :weight bold :height 1.0))) t)
 '(custom-group-tag-face-1 ((t (:inherit variable-pitch :foreground "red" :weight bold :family "courier"))) t)
 '(custom-variable-tag-face ((t (:inherit variable-pitch :foreground "blue" :weight bold :family "courier"))) t)
 '(dired-marked ((((class color) (background light)) (:foreground "magenta" :family "courier"))))
 '(font-lock-comment-face ((((class color) (background light)) (:foreground "forestgreen" :slant italic :family "courier"))))
 '(font-lock-keyword-face ((((class color) (background light)) (:foreground "darkblue" :family "courier"))))
 '(font-lock-string-face ((((class color) (background light)) (:foreground "brown"))))
 '(font-lock-type-face ((((class color) (background light)) (:foreground "purple"))))
 '(font-lock-variable-name-face ((((class color) (background light)) (:foreground "midnightblue" :family "courier"))))
 '(forestgreen-italic ((t (:foreground "forestgreen" :slant italic :weight bold :family "courier"))))
 '(fringe ((t (:background "tan"))))
 '(hi-black-hb ((t (:inherit variable-pitch :background "orange" :foreground "black" :weight bold :family "courier"))))
 '(info-menu-header ((t (:inherit variable-pitch :background "lightyellow" :foreground "red" :underline t :weight bold :family "courier"))))
 '(nobreak_space ((((class color) (background light)) (:background "orange" :family "courier"))))
 '(sh-heredoc ((((class color) (background light)) (:foreground "navy"))))
 '(vhdl-font-lock-reserved-words-face ((t (:foreground "purple" :weight bold)))))