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 <skan...@redhat.com>.
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; }
