Match css of highlight with source-highlight. Handle line numbering by
commitc8c1c2ae21269a42ad704747a0d5da6dcba68854
authorStefan Kost <stefkost@src.gnome.org>
Wed, 21 Jan 2009 13:34:31 +0000 (21 13:34 +0000)
committerStefan Kost <stefkost@src.gnome.org>
Wed, 21 Jan 2009 13:34:31 +0000 (21 13:34 +0000)
tree10cd56c254a167f9f8ededb476d75787124c951c
parent575fd4c590cd2706f07b5ea3e7db0392b3203392
Match css of highlight with source-highlight. Handle line numbering by

* TODO:
* configure.in:
* gtkdoc-fixxref.in:
* style.css:
  Match css of highlight with source-highlight. Handle line numbering by
  our-selfs. Still stupid browsers copy '#' chars for each line number.

svn path=/trunk/; revision=652
ChangeLog
TODO
configure.in
gtkdoc-fixxref.in
style.css