Update IDE to use new eclipse-ide theme

Change-Id: I1ab85b4ce5f5dd48d974647b92373475aba34a67
Signed-off-by: Christopher Guindon <chris.guindon@eclipse-foundation.org>
1 file changed
tree: f2a899b61e7b4ea73199b1215393afb6f35807a5
  1. content/
  2. images/
  3. index.php