diff mbox

*ping* Re: [PATCH, wwwdocs] Fix PR 50642

Message ID alpine.LSU.2.20.1609042202100.3437@anthias.pfeifer.com
State New
Headers show

Commit Message

Gerald Pfeifer Sept. 4, 2016, 8:06 p.m. UTC 
On Sun, 4 Sep 2016, Gerald Pfeifer wrote:
> With the patch below I follow a slightly different approach, 
> referring to the global CSS we already have in place now instead.  
> That also allows tweaking this more dynamically.
> 
> I'll be looking into the actual style change next.

And here we go; this follows what you had suggested originally.

Applied, and thanks!

Gerald


PR documentation/50642
Add a style for "small examples" in the onlinedocs.
Suggested by Shakthi Kannan <skannan@redhat.com>.
diff mbox

Patch

Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.42
diff -u -r1.42 gcc.css
--- gcc.css	26 Aug 2016 18:06:30 -0000	1.42
+++ gcc.css	4 Sep 2016 20:02:38 -0000
@@ -75,6 +75,14 @@ 
 .supported   { background-color: lightgreen; }
 .unsupported { background-color: lightsalmon; }
 
+/* Online documentation. */
+
+pre.smallexample { 
+  font-size: medium;
+  background: #f2f2f9;
+  padding: 4px; 
+}
+
 /* Classpath versus libgcj merge status page. */
 
 .classpath-only         { background-color: #FFFFAA; }