/* load_images.js  (c)  Kari Laitinen

   This is a comment in a JavaScript file.
   
   2009-03-29  This file was created.
   2009-09-06  Last modification.

   These JavaScript operations are carried out before
   the browser starts showing page content.

   The following statements pre-load images to the cache
   memory of the browser.

*/


java_icon_normal = new Image( 64, 64 )
java_icon_normal.src = "java_icon_large_light.gif"

java_icon_lighter = new Image( 64, 64 )
java_icon_lighter.src = "java_icon_large_lightest.gif"

java_icon_darker = new Image( 64, 64 )
java_icon_darker.src = "java_icon_large.gif"


cpp_icon_normal = new Image( 64, 64 )
cpp_icon_normal.src = "cpp_icon_128.gif"

cpp_icon_lighter = new Image( 64, 64 )
cpp_icon_lighter.src = "cpp_icon_128_lighter.gif"

cpp_icon_darker = new Image( 64, 64 )
cpp_icon_darker.src = "cpp_icon_128_darker.gif"


cs_icon_normal = new Image( 64, 64 )
cs_icon_normal.src = "cs_icon_128.gif"

cs_icon_lighter = new Image( 64, 64 )
cs_icon_lighter.src = "cs_icon_128_lighter.gif"

cs_icon_darker = new Image( 64, 64 )
cs_icon_darker.src = "cs_icon_128_darker.gif"


python_icon_normal = new Image( 64, 64 )
python_icon_normal.src = "python_icon_128.gif"

python_icon_lighter = new Image( 64, 64 )
python_icon_lighter.src = "python_icon_128_lighter.gif"

python_icon_darker = new Image( 64, 64 )
python_icon_darker.src = "python_icon_128_darker.gif"


all_icon_normal = new Image( 64, 64 )
all_icon_normal.src = "all_icon_128.gif"

all_icon_lighter = new Image( 64, 64 )
all_icon_lighter.src = "all_icon_128_lighter.gif"

all_icon_darker = new Image( 64, 64 )
all_icon_darker.src = "all_icon_128_darker.gif"


gui_icon_normal = new Image( 64, 64 )
gui_icon_normal.src = "gui_icon_128.gif"

gui_icon_lighter = new Image( 64, 64 )
gui_icon_lighter.src = "gui_icon_128_lighter.gif"

gui_icon_darker = new Image( 64, 64 )
gui_icon_darker.src = "gui_icon_128_darker.gif"



ic8_icon_normal = new Image( 64, 64 )
ic8_icon_normal.src = "ic8_icon_128.gif"

ic8_icon_lighter = new Image( 64, 64 )
ic8_icon_lighter.src = "ic8_icon_128_lighter.gif"

ic8_icon_darker = new Image( 64, 64 )
ic8_icon_darker.src = "ic8_icon_128_darker.gif"


more_icon_normal = new Image( 64, 64 )
more_icon_normal.src = "more_icon_128.gif"

more_icon_lighter = new Image( 64, 64 )
more_icon_lighter.src = "more_icon_128_lighter.gif"

more_icon_darker = new Image( 64, 64 )
more_icon_darker.src = "more_icon_128_darker.gif"