From mboxrd@z Thu Jan 1 00:00:00 1970 From: Rasmus Subject: Re: PATCH: programming language indicators in HTML export Date: Tue, 10 May 2016 11:55:37 +0200 Message-ID: <87inymdyp2.fsf@gmx.us> References: <20160314151605.214621e9@pckr150.mpip-mainz.mpg.de> <20160509130123.5c47ca74@pckr186.mpip-mainz.mpg.de> <87mvnzyp33.fsf@saiph.selenimh> <20160510071950.4a063dcb@pckr186.mpip-mainz.mpg.de> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43801) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1b04OV-0004FY-AP for emacs-orgmode@gnu.org; Tue, 10 May 2016 05:56:00 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1b04OO-0006zy-02 for emacs-orgmode@gnu.org; Tue, 10 May 2016 05:55:55 -0400 Received: from plane.gmane.org ([80.91.229.3]:49834) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1b04ON-0006zI-Fn for emacs-orgmode@gnu.org; Tue, 10 May 2016 05:55:51 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1b04OK-00016h-Pr for emacs-orgmode@gnu.org; Tue, 10 May 2016 11:55:48 +0200 Received: from 46.189.28.86 ([46.189.28.86]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 10 May 2016 11:55:48 +0200 Received: from rasmus by 46.189.28.86 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 10 May 2016 11:55:48 +0200 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: "Emacs-orgmode" To: emacs-orgmode@gnu.org Robert Klein writes: > Hi, > > Nicolas Goaziou wrote: > >> Hello, >> >> Robert Klein writes: >> >> > anyone willing to commit this patch I sent back in march? >> >> This patch actually felt through the cracks. Sorry about that. Would >> you mind sending it again, using git format-patch so I can apply it? >> > > Please find the patch attached. I wonder if it would be possible (or even desirable) to build this part of the css header automatically? It may be too prone to unexpected bugs. Rasmus -- The Kids call him Billy the Saint