From 6237bf4cd60f5c67026263115041f5a651446ae8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 20 Nov 2015 14:50:25 +0100
Subject: [PATCH] org: more language tooltips in HTML output

* doc/org/spot.css: add tooltips for Python and C++.
---
 doc/org/spot.css | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/org/spot.css b/doc/org/spot.css
index 44d6123cd..61794afd1 100644
--- a/doc/org/spot.css
+++ b/doc/org/spot.css
@@ -21,7 +21,9 @@ pre.src{padding-top:8px;border-left-style:solid;border-color:#00adad;overflow:au
 pre.src-hoa{padding-top:8px;border-left-style:solid;border-color:#d70079;overflow:auto}
 pre.example{border-left-style:solid;border-color:#d70079}
 pre.src:before{border:none;border-bottom-style:solid;border-color:#00adad;top:0px;}
-pre.src-hoa:before{content:'HOA';border:none;border-bottom-style:solid;border-color:#d70079;overflow:auto}
+pre.src-python:before{content:'Python'}
+pre.src-C\+\+:before{content:'C++'}
+pre.src-hoa:before{content:'HOA';border-color:#d70079}
 img{max-width:100%}
 @media screen{
 #table-of-contents{position:fixed;right:0em;top:0em;max-width:50%;max-height:80%;overflow:auto;z-index:10}