From ee0c0cd28cf3e25bb3853979741376fbfc568a6d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 8 Jan 2015 18:33:17 +0100 Subject: [PATCH] * doc/org/tools.org: Adjust colors in text. --- doc/org/tools.org | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/org/tools.org b/doc/org/tools.org index 3a8fc3545..973521035 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -10,7 +10,7 @@ use-cases but shall not attempt to cover all features exhaustively For technical reasons related to the way we generate these pages, we use the following convention when rendering shell commands. The -commands issued to the shell are formatted like this with a green line +commands issued to the shell are formatted like this with a cyan line on the left: #+NAME: helloworld @@ -18,8 +18,8 @@ on the left: echo Hello World #+END_SRC -And the output of such a command is formatted as follows, with a red -line on the left: +And the output of such a command is formatted as follows, with a +magenta line on the left: #+RESULTS: helloworld : Hello World