Permalink
Browse files

Tomorrow theme.

  • Loading branch information...
1 parent 02e9628 commit e1b0c016f53995ee39e20613be8ffd7abe59f157 @jlouis committed Sep 5, 2012
View
@@ -0,0 +1,35 @@
+;;; Twelf!
+; Copyright (c) 2009, Jesper Louis Andersen <jesper.louis.andersen@gmail.com>
+; All rights reserved.
+
+; Redistribution and use in source and binary forms, with or
+; without modification, are permitted provided that the following
+; conditions are met:
+
+; * Redistributions of source code must retain the above
+; copyright notice, this list of conditions and the following
+; disclaimer.
+
+; * Redistributions in binary form must reproduce the above
+; copyright notice, this list of conditions and the following
+; disclaimer in the documentation and/or other materials
+; provided with the distribution.
+
+; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+; "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+; LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+; FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+; COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+; INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+; BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+; CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+; LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+; ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+; POSSIBILITY OF SUCH DAMAGE.
+
+
+(setq twelf-root "/Users/jlouis/Projects/twelf/")
+(load (concat twelf-root "emacs/twelf-init.el"))
+;(setq twelf-font-dark-background t)
+
View
@@ -6,12 +6,12 @@
;; If there is more than one, they won't work right.
'(agda2-include-dirs (quote ("." "/Users/jlouis/lib/agda/lib-0.6/src")))
'(compilation-ask-about-save nil)
- '(custom-safe-themes (quote ("5727ad01be0a0d371f6e26c72f2ef2bafdc483063de26c88eaceea0674deb3d9" "baed08a10ff9393ce578c3ea3e8fd4f8c86e595463a882c55f3bd617df7e5a45" "54d1bcf3fcf758af4812f98eb53b5d767f897442753e1aa468cfeb221f8734f9" "044e1ce9a36db8a97a38da0c2eabc5fade0d3d990c8c2d125c586b71652d87be" "30fe7e72186c728bd7c3e1b8d67bc10b846119c45a0f35c972ed427c45bacc19" "47840d23317e7f4f4b094b5aeffde0947a46d0d9" "12370b73a1a7650e1cc22f977099915dd1146f22" "d582b43b82421d883b781d7e464534c1dbf5667b" "98cf9bb22daf932e4efe990a4313374b36c498de" "518838fdc4493adf33d05ca0cd91d4db5868b3a3" "490ea6a088842478a3154aa59e4e288dcf99ae20" "6f0acc4ca08d699e7450e39405340a352d99a51d" "a057d1f3a811cc2d5f5589857c4829569b5a8504" "3e8cfc0028884f764d60134efafba931da2e0c39" "d050a73149058f0bb66ba0bcab87d31bfb3624e6" "3727256c5184de4a404f133548afd12ac92c6b2e" "7d8128827ec5070e2da7db61cfe9a510f3810d40" "808ca378ba54fe9d778b0af2edadeff69d0b9078" "ccef00a641c20cd350bc96c66485202f92c06b11" "c243359981611f87eb59a2fadfa9742d0eb816b5" "b3b9d4288318247f66bee3baf5ea21fa616238dc" "5aa6b27d8e46e5ee292f4c8f73247d3da86a0b1a" "99bc0783e5485fcd9007496d2dd464ee4d13c3d2" "d41cdeb496b40c59748917e85bbe6e4095dc2ce8" "013677714519e9b8a5e9105177cf1d613f748bd0" "6168eec7aa83275482fe0a6db7e1cdd33d804538" "2ca1dd619da788e48e22e51249f233f178800fc9" "7a2bbbd52dc3f3836526c4f66ce712e4093aa9a8" "26d16c0027858d9ba508fe403466d1c0d4ca1fa9" default)))
+ '(custom-safe-themes (quote ("9117c98819cfdeb59780cb43e5d360ff8a5964d7dd9783b01708bda83098b9fd" "e992575f7c09459bfc190e6776b8f5f96964023e98267a87fb3094e7c9686776" "e439d894bf9406baf73056cf7e3c913ee5c794b6adadbbb9f614aebed0fd9ce7" "4870e6cb6f0a70c14ee73db30b69a8a1f08d6ec9a689c366e88636fb81e8022d" "cf2bb5e8046ca363183c87e8d33932f2a76a3d705b9db2721631777bbce92968" "5727ad01be0a0d371f6e26c72f2ef2bafdc483063de26c88eaceea0674deb3d9" "baed08a10ff9393ce578c3ea3e8fd4f8c86e595463a882c55f3bd617df7e5a45" "54d1bcf3fcf758af4812f98eb53b5d767f897442753e1aa468cfeb221f8734f9" "044e1ce9a36db8a97a38da0c2eabc5fade0d3d990c8c2d125c586b71652d87be" "30fe7e72186c728bd7c3e1b8d67bc10b846119c45a0f35c972ed427c45bacc19" "47840d23317e7f4f4b094b5aeffde0947a46d0d9" "12370b73a1a7650e1cc22f977099915dd1146f22" "d582b43b82421d883b781d7e464534c1dbf5667b" "98cf9bb22daf932e4efe990a4313374b36c498de" "518838fdc4493adf33d05ca0cd91d4db5868b3a3" "490ea6a088842478a3154aa59e4e288dcf99ae20" "6f0acc4ca08d699e7450e39405340a352d99a51d" "a057d1f3a811cc2d5f5589857c4829569b5a8504" "3e8cfc0028884f764d60134efafba931da2e0c39" "d050a73149058f0bb66ba0bcab87d31bfb3624e6" "3727256c5184de4a404f133548afd12ac92c6b2e" "7d8128827ec5070e2da7db61cfe9a510f3810d40" "808ca378ba54fe9d778b0af2edadeff69d0b9078" "ccef00a641c20cd350bc96c66485202f92c06b11" "c243359981611f87eb59a2fadfa9742d0eb816b5" "b3b9d4288318247f66bee3baf5ea21fa616238dc" "5aa6b27d8e46e5ee292f4c8f73247d3da86a0b1a" "99bc0783e5485fcd9007496d2dd464ee4d13c3d2" "d41cdeb496b40c59748917e85bbe6e4095dc2ce8" "013677714519e9b8a5e9105177cf1d613f748bd0" "6168eec7aa83275482fe0a6db7e1cdd33d804538" "2ca1dd619da788e48e22e51249f233f178800fc9" "7a2bbbd52dc3f3836526c4f66ce712e4093aa9a8" "26d16c0027858d9ba508fe403466d1c0d4ca1fa9" default)))
'(ido-ubiquitous-command-exceptions (quote (find-tag erlang-find-tag)))
'(indicate-buffer-boundaries (quote left))
'(org-agenda-files (quote ("~/org")))
'(org-refile-use-outline-path nil)
- '(wrangler-search-paths (quote ("/Users/jlouis/Projects/issuu/payflow")))
+ '(wrangler-search-paths (quote ("/Users/jlouis/Projects/issuu/backend-insight/apps/insight/src")))
'(yas/snippet-dirs (quote ("~/.emacs.d/snippets" "~/.emacs.d/el-get/yasnippet/snippets")) nil (yasnippet)))
(custom-set-faces
;; custom-set-faces was added by Custom.
View
17 init.el
@@ -87,12 +87,6 @@
:after (lambda ()
(progn
(require 'inf-haskell))))
- (:name pastels-on-dark-theme
- :type elpa)
- (:name solarized-theme
- :type elpa)
- (:name zenburn-theme
- :type elpa)
(:name idle-highlight-mode
:type elpa)
(:name ido-ubiquitous
@@ -194,16 +188,12 @@
;(el-get 'wait)
;; Setup a theme, it is a solarized variant
+(add-to-list 'custom-theme-load-path
+ (concat emacs-config-dir "themes/"))
(setq custom-safe-themes t)
-(defun dark ()
- (interactive)
- (load-theme 'solarized-dark))
-(defun light ()
- (interactive)
- (load-theme 'solarized-light))
+(load-theme 'tomorrow-night)
-(dark)
(if (string-equal "darwin" (symbol-name system-type))
(progn
(set-frame-font "Menlo-12")))
@@ -230,6 +220,7 @@
;;"init-agda2"
"init-hippie-expand"
"init-proofgeneral"
+ "init-twelf"
"init-uniquify"))
;; Awfully simple initializations
@@ -0,0 +1,91 @@
+;;; tomorrow-night-blue-theme.el --- custom theme for faces
+
+;;; Commentary:
+;;
+;;; Tomorrow Night Blue Theme
+;;
+;; Originally by Chris Kempson https://github.com/ChrisKempson/Tomorrow-Theme
+;; Ported to GNU Emacs by Chris Charles
+;; Ported to GNU Emacs 24's built-in theme system by Jim Myhrberg (@jimeh)
+
+;;; Code:
+
+(deftheme tomorrow-night-blue
+ "A Pastel Coloured Theme")
+
+(let ((background "#002451")
+ (current-line "#00346e")
+ (selection "#003f8e")
+ (foreground "#ffffff")
+ (comment "#7285b7")
+ (cursor "#ffffff")
+ (red "#ff9da4")
+ (orange "#ffc58f")
+ (yellow "#ffeead")
+ (green "#d1f1a9")
+ (aqua "#99ffff")
+ (blue "#bbdaff")
+ (purple "#ebbbff"))
+
+ (custom-theme-set-faces
+ 'tomorrow-night-blue
+
+ ;; Built-in stuff (Emacs 23)
+ `(default ((t (:background ,background :foreground ,foreground))))
+ `(fringe ((t (:background ,current-line))))
+ `(minibuffer-prompt ((t (:foreground ,blue))))
+ `(mode-line ((t (:background ,current-line :foreground ,foreground))))
+ `(region ((t (:background ,selection))))
+
+ ;; Font-lock stuff
+ `(font-lock-comment-face ((t (:foreground ,comment))))
+ `(font-lock-constant-face ((t (:foreground ,green))))
+ `(font-lock-doc-string-face ((t (:foreground ,comment))))
+ `(font-lock-function-name-face ((t (:foreground ,blue))))
+ `(font-lock-keyword-face ((t (:foreground ,purple))))
+ `(font-lock-string-face ((t (:foreground ,green))))
+ `(font-lock-type-face ((t (:foreground ,yellow))))
+ `(font-lock-variable-name-face ((t (:foreground ,red))))
+ `(font-lock-warning-face ((t (:foreground ,red))))
+
+ ;; hl-line-mode
+ `(hl-line ((t (:background ,current-line))))
+
+ ;; linum-mode
+ `(linum ((t (:background ,current-line :foreground ,foreground))))
+
+ ;; org-mode
+ `(org-date ((t (:foreground ,purple))))
+ `(org-done ((t (:foreground ,green))))
+ `(org-hide ((t (:foreground ,current-line))))
+ `(org-link ((t (:foreground ,blue))))
+ `(org-todo ((t (:foreground ,red))))
+
+ ;; show-paren-mode
+ `(show-paren-match ((t (:background ,blue :foreground ,current-line))))
+ `(show-paren-mismatch ((t (:background ,orange :foreground ,current-line))))
+
+ ;; rainbow-delimiters
+ `(rainbow-delimiters-depth-1-face ((t (:foreground ,purple))))
+ `(rainbow-delimiters-depth-2-face ((t (:foreground ,blue))))
+ `(rainbow-delimiters-depth-3-face ((t (:foreground ,aqua))))
+ `(rainbow-delimiters-depth-4-face ((t (:foreground ,green))))
+ `(rainbow-delimiters-depth-5-face ((t (:foreground ,yellow))))
+ `(rainbow-delimiters-depth-6-face ((t (:foreground ,orange))))
+ `(rainbow-delimiters-depth-7-face ((t (:foreground ,red))))
+ `(rainbow-delimiters-depth-8-face ((t (:foreground ,comment))))
+ `(rainbow-delimiters-depth-9-face ((t (:foreground ,foreground)))))
+
+ (custom-theme-set-variables
+ 'tomorrow-night-blue
+
+ `(ansi-color-names-vector
+ ;; black, red, green, yellow, blue, magenta, cyan, white
+ [,background ,red ,green ,yellow ,blue ,purple ,blue ,foreground])
+ `(ansi-term-color-vector
+ ;; black, red, green, yellow, blue, magenta, cyan, white
+ [unspecified ,background ,red ,green ,yellow ,blue ,purple ,blue ,foreground])))
+
+(provide-theme 'tomorrow-night-blue)
+
+;;; tomorrow-night-blue-theme.el ends here
@@ -0,0 +1,91 @@
+;;; tomorrow-night-bright-theme.el --- custom theme for faces
+
+;;; Commentary:
+;;
+;;; Tomorrow Night Bright Theme
+;;
+;; Originally by Chris Kempson https://github.com/ChrisKempson/Tomorrow-Theme
+;; Ported to GNU Emacs by Chris Charles
+;; Ported to GNU Emacs 24's built-in theme system by Jim Myhrberg (@jimeh)
+
+;;; Code:
+
+(deftheme tomorrow-night-bright
+ "A Pastel Coloured Theme")
+
+(let ((background "#000000")
+ (current-line "#2a2a2a")
+ (selection "#424242")
+ (foreground "#eaeaea")
+ (comment "#969896")
+ (cursor "#9f9f9f")
+ (red "#d54e53")
+ (orange "#e78c45")
+ (yellow "#e7c547")
+ (green "#b9ca4a")
+ (aqua "#70c0b1")
+ (blue "#7aa6da")
+ (purple "#c397d8"))
+
+ (custom-theme-set-faces
+ 'tomorrow-night-bright
+
+ ;; Built-in stuff (Emacs 23)
+ `(default ((t (:background ,background :foreground ,foreground))))
+ `(fringe ((t (:background ,current-line))))
+ `(minibuffer-prompt ((t (:foreground ,blue))))
+ `(mode-line ((t (:background ,current-line :foreground ,foreground))))
+ `(region ((t (:background ,selection))))
+
+ ;; Font-lock stuff
+ `(font-lock-comment-face ((t (:foreground ,comment))))
+ `(font-lock-constant-face ((t (:foreground ,green))))
+ `(font-lock-doc-string-face ((t (:foreground ,comment))))
+ `(font-lock-function-name-face ((t (:foreground ,blue))))
+ `(font-lock-keyword-face ((t (:foreground ,purple))))
+ `(font-lock-string-face ((t (:foreground ,green))))
+ `(font-lock-type-face ((t (:foreground ,yellow))))
+ `(font-lock-variable-name-face ((t (:foreground ,red))))
+ `(font-lock-warning-face ((t (:foreground ,red))))
+
+ ;; hl-line-mode
+ `(hl-line ((t (:background ,current-line))))
+
+ ;; linum-mode
+ `(linum ((t (:background ,current-line :foreground ,foreground))))
+
+ ;; org-mode
+ `(org-date ((t (:foreground ,purple))))
+ `(org-done ((t (:foreground ,green))))
+ `(org-hide ((t (:foreground ,current-line))))
+ `(org-link ((t (:foreground ,blue))))
+ `(org-todo ((t (:foreground ,red))))
+
+ ;; show-paren-mode
+ `(show-paren-match ((t (:background ,blue :foreground ,current-line))))
+ `(show-paren-mismatch ((t (:background ,orange :foreground ,current-line))))
+
+ ;; rainbow-delimiters
+ `(rainbow-delimiters-depth-1-face ((t (:foreground ,purple))))
+ `(rainbow-delimiters-depth-2-face ((t (:foreground ,blue))))
+ `(rainbow-delimiters-depth-3-face ((t (:foreground ,aqua))))
+ `(rainbow-delimiters-depth-4-face ((t (:foreground ,green))))
+ `(rainbow-delimiters-depth-5-face ((t (:foreground ,yellow))))
+ `(rainbow-delimiters-depth-6-face ((t (:foreground ,orange))))
+ `(rainbow-delimiters-depth-7-face ((t (:foreground ,red))))
+ `(rainbow-delimiters-depth-8-face ((t (:foreground ,comment))))
+ `(rainbow-delimiters-depth-9-face ((t (:foreground ,foreground)))))
+
+ (custom-theme-set-variables
+ 'tomorrow-night-bright
+
+ `(ansi-color-names-vector
+ ;; black, red, green, yellow, blue, magenta, cyan, white
+ [,background ,red ,green ,yellow ,blue ,purple ,blue ,foreground])
+ `(ansi-term-color-vector
+ ;; black, red, green, yellow, blue, magenta, cyan, white
+ [unspecified ,background ,red ,green ,yellow ,blue ,purple ,blue ,foreground])))
+
+(provide-theme 'tomorrow-night-bright)
+
+;;; tomorrow-night-bright-theme.el ends here
@@ -0,0 +1,91 @@
+;;; tomorrow-night-eighties-theme.el --- custom theme for faces
+
+;;; Commentary:
+;;
+;;; Tomorrow Night Eighties Theme
+;;
+;; Originally by Chris Kempson https://github.com/ChrisKempson/Tomorrow-Theme
+;; Ported to GNU Emacs by Chris Charles
+;; Ported to GNU Emacs 24's built-in theme system by Jim Myhrberg (@jimeh)
+
+;;; Code:
+
+(deftheme tomorrow-night-eighties
+ "A Pastel Coloured Theme")
+
+(let ((background "#2d2d2d")
+ (current-line "#393939")
+ (selection "#515151")
+ (foreground "#cccccc")
+ (comment "#999999")
+ (cursor "#cccccc")
+ (red "#f2777a")
+ (orange "#f99157")
+ (yellow "#ffcc66")
+ (green "#99cc99")
+ (aqua "#66cccc")
+ (blue "#6699cc")
+ (purple "#cc99cc"))
+
+ (custom-theme-set-faces
+ 'tomorrow-night-eighties
+
+ ;; Built-in stuff (Emacs 23)
+ `(default ((t (:background ,background :foreground ,foreground))))
+ `(fringe ((t (:background ,current-line))))
+ `(minibuffer-prompt ((t (:foreground ,blue))))
+ `(mode-line ((t (:background ,current-line :foreground ,foreground))))
+ `(region ((t (:background ,selection))))
+
+ ;; Font-lock stuff
+ `(font-lock-comment-face ((t (:foreground ,comment))))
+ `(font-lock-constant-face ((t (:foreground ,green))))
+ `(font-lock-doc-string-face ((t (:foreground ,comment))))
+ `(font-lock-function-name-face ((t (:foreground ,blue))))
+ `(font-lock-keyword-face ((t (:foreground ,purple))))
+ `(font-lock-string-face ((t (:foreground ,green))))
+ `(font-lock-type-face ((t (:foreground ,yellow))))
+ `(font-lock-variable-name-face ((t (:foreground ,red))))
+ `(font-lock-warning-face ((t (:foreground ,red))))
+
+ ;; hl-line-mode
+ `(hl-line ((t (:background ,current-line))))
+
+ ;; linum-mode
+ `(linum ((t (:background ,current-line :foreground ,foreground))))
+
+ ;; org-mode
+ `(org-date ((t (:foreground ,purple))))
+ `(org-done ((t (:foreground ,green))))
+ `(org-hide ((t (:foreground ,current-line))))
+ `(org-link ((t (:foreground ,blue))))
+ `(org-todo ((t (:foreground ,red))))
+
+ ;; show-paren-mode
+ `(show-paren-match ((t (:background ,blue :foreground ,current-line))))
+ `(show-paren-mismatch ((t (:background ,orange :foreground ,current-line))))
+
+ ;; rainbow-delimiters
+ `(rainbow-delimiters-depth-1-face ((t (:foreground ,purple))))
+ `(rainbow-delimiters-depth-2-face ((t (:foreground ,blue))))
+ `(rainbow-delimiters-depth-3-face ((t (:foreground ,aqua))))
+ `(rainbow-delimiters-depth-4-face ((t (:foreground ,green))))
+ `(rainbow-delimiters-depth-5-face ((t (:foreground ,yellow))))
+ `(rainbow-delimiters-depth-6-face ((t (:foreground ,orange))))
+ `(rainbow-delimiters-depth-7-face ((t (:foreground ,red))))
+ `(rainbow-delimiters-depth-8-face ((t (:foreground ,comment))))
+ `(rainbow-delimiters-depth-9-face ((t (:foreground ,foreground)))))
+
+ (custom-theme-set-variables
+ 'tomorrow-night-eighties
+
+ `(ansi-color-names-vector
+ ;; black, red, green, yellow, blue, magenta, cyan, white
+ [,background ,red ,green ,yellow ,blue ,purple ,blue ,foreground])
+ `(ansi-term-color-vector
+ ;; black, red, green, yellow, blue, magenta, cyan, white
+ [unspecified ,background ,red ,green ,yellow ,blue ,purple ,blue ,foreground])))
+
+(provide-theme 'tomorrow-night-eighties)
+
+;;; tomorrow-night-eighties-theme.el ends here
Oops, something went wrong.

0 comments on commit e1b0c01

Please sign in to comment.