I just wanted to mention that the Eclipse Webmasters have (finally!)
fixed a bug I entered against the Eclipse Wiki:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=245141
- Mediawiki editing: page-level stylesheet management
The new tag is: <css> and it allows you to make changes to any of
the styles that your page may use without
affecting any other page you or anyone else owns. For example, the
<source> tag creates styles for the syntax-
highlighting for java, sql, xml, etc. The box drawn around these
elements is 'dashed' - if you wished to change
that to (for example) 'solid':
<css>
.source-java {border-style: solid;}
</css>
Style settings can relate to font, size, color, background and many
more properties (for more info check out the
Wikipedia entry: http://en.wikipedia.org/wiki/Cascading_Style_Sheets)
You need to know the name of the style, but that's not too hard to
figure out.
--
Mike Norman | Principal Software Designer | 613.288.4638
Oracle Server Technologies | EclipseLink Product
45 O'Connor Street, Suite 400 | Ottawa, ON K1P 1A4 | (fax) 613.238.2818
|