[library-web] (65 commits) ...Merge branch 'new-website-style'

[Frederic Peters <fpeters src gnome org>]

Summary of changes:

  09409ea... new website layout (*)
  093c537... adding grass to footer (*)
  1d31e2b... indenting data lists (*)
  421b27b... merging api search in main search, in devel channel (*)
  1c1848f... styling autocomplete results (*)
  eaf1baf... normal size for dt (*)
  7308b68... Do not display deprecated API in the main page (*)
  123d6d1... Adapt gtk-doc documents to new style (*)
  e7e386c... styling blocks on the main index page (*)
  726e10a... Moving language selection to a custom page (*)
  ff26e72... subtle boxes (*)
  7d757c7... more subtle (*)
  d3f347e... Sorting libraries in types (*)
  5c316df... Some footer art (*)
  0bb1699... footer art for mallard doc (*)
  74e219c... add footer art to docbook documents (*)
  d271de0... footer art (*)
  2024cb2... correct sorting of developer sections (*)
  cebe3a8... fixed sectioning of api docs (*)
  280b5d8... Updating jquery to 1.4.2, to get jcarousel working (*)
  f812ec2... add some special stuff for the devcenter page (*)
  f3c2453... import javascript libraries on all html documents (*)
  1404bf6... Add footer art to converted html files (*)
  f6818a6... more carrousel (*)
  c26b856... more platform overview styling (*)
  d806f29... more of developer center css changes (*)
  d15fe85... Merge branch 'master' into new-website-style (*)
  2cfc9cf... Merge branch 'master' into new-website-style (*)
  ba7d0bd... Merge branch 'master' into new-website-style (*)
  95e4064... fixed retrieval of remote documents (*)
  ee8537f... update demos override, it has been renamed to gnome-devel-d (*)
  ba485b2... Copy images/ directory to web root (*)
  374d0cf... add images for the devcenter homepage (*)
  373f74d... add dev and help indexes files (*)
  1f23e01... add handling of reorganized modulesets (*)
  703cd17... correctly continue to next moduleset if one fails (*)
  27ee163... correct gnome version check for older moduleset structures (*)
  70c2bdd... misc link fixes for the new dev home page (*)
  11a5d6f... rename site to "GNOME Developer Center" (*)
  0849d2b... recreated platform overview table with a <table> (*)
  32176d3... overview link fixes (*)
  90b29ca... do not use a fixed location for indexes.xml (*)
  9034131... Merge branch 'master' into new-website-style (*)
  82030e0... [dev] Added API and getting started links to index.html (*)
  1db4e3c... [dev] Added magic-mirror.png screenshot (*)
  dfd873f... [mallard] guard against broken xml in pages (*)
  0600b0d... [mallard] don't break on removing the same language several (*)
  ec3ad0a... [dev] removed duplicated C (*)
  cfe8f07... [dev] fixed link to magic mirror demo (*)
  dc70761... [mallard] expand doc_figures variable (*)
  49242b4... added blurb for json-glib (*)
  03c013b... Fixed link to "getting ready" document (*)
  d78a9ac... do not fail caching documents with slashes (*)
  7179587... do not overwrite local copies of remote documents with inde (*)
  7f034b7... Possibility to create local pages out of wiki pages (*)
  7e56870... add a new --rebuild-remote command to rebuild remote docume (*)
  28816ae... add some special styling for imported wiki pages (*)
  b2512fa... Fallback to cache file in case of failed download (*)
  6487d9a... possibility to rewrite url in html documents (*)
  187c32f... more styling of moinmoin imported table of contents (*)
  ba44553... Reorder paragraphs and point developer heading to developer (*)
  1af9c65... add proper spacing after front page titles (*)
  391eaee... Set new desktop help to go into the desktop category (*)
  60c08ab... Merge branch 'master' into new-website-style
  440dd0d... Merge branch 'new-website-style'

(*) This commit already existed in another branch; no separate mail sent