From 14a7381aa82dacf8c93e0fa33d0d035b4f633d9b Mon Sep 17 00:00:00 2001 From: Tom Willemsen Date: Mon, 4 Feb 2013 20:27:24 +0100 Subject: [PATCH] conkeror: Add style for conkeror start page --- .conkerorrc/init.js | 17 +++++++++++------ .conkerorrc/styles/Makefile | 2 +- .conkerorrc/styles/help.css | 19 +++++++++++++++++++ 3 files changed, 31 insertions(+), 7 deletions(-) create mode 100644 .conkerorrc/styles/help.css diff --git a/.conkerorrc/init.js b/.conkerorrc/init.js index 96b5dde..6957245 100644 --- a/.conkerorrc/init.js +++ b/.conkerorrc/init.js @@ -23,6 +23,15 @@ function ext_title_format(window) { + window.buffers.current.description; } +function oni_add_sheet(css) { + let (sheet = get_home_directory()) { + sheet.append(".conkerorrc"); + sheet.append("styles"); + sheet.append(css); + register_user_stylesheet(make_uri(sheet)); + }; +} + function oni_before_quit_func() { var w = get_recent_conkeror_window(); var result = (w == null) || @@ -268,9 +277,5 @@ function read_url_local_port_handler(input) read_url_handler_list = [read_url_local_port_handler, read_url_github_command_handler]; -let (sheet = get_home_directory()) { - sheet.append(".conkerorrc"); - sheet.append("styles"); - sheet.append("github.css"); - register_user_stylesheet(make_uri(sheet)); -}; +oni_add_sheet("github.css"); +oni_add_sheet("help.css"); diff --git a/.conkerorrc/styles/Makefile b/.conkerorrc/styles/Makefile index db06cf3..fb44500 100644 --- a/.conkerorrc/styles/Makefile +++ b/.conkerorrc/styles/Makefile @@ -1,4 +1,4 @@ DESTDIR:=$(DESTDIR)/styles -objects=github.css +objects=github.css help.css include ../../dotfiles.mk diff --git a/.conkerorrc/styles/help.css b/.conkerorrc/styles/help.css new file mode 100644 index 0000000..03888b6 --- /dev/null +++ b/.conkerorrc/styles/help.css @@ -0,0 +1,19 @@ +@-moz-document url(chrome://conkeror-help/content/help.html) { + body { + background: #111113 !important; + color: #eeeeec !important; + } + + a { + color: #ffbb56 !important; + } + + a:visited { + color: #ee82ee !important; + } + + pre, .key { + background: #222224 !important; + font-family: "Envy Code R" !important; + } +}