5 <meta http-equiv="X-UA-Compatible" content="IE=edge">
8 href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/common.css" />
10 href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/tab.css" />
11 <link rel="stylesheet"
12 href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/tabbar.css" />
13 <link rel="stylesheet"
14 href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/toolbar.css" />
15 <link rel="stylesheet"
16 href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/button.css" />
17 <link rel="stylesheet"
18 href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/menu.css" />
19 <link rel="stylesheet"
20 href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/menuitem.css" />
21 <link rel="stylesheet"
22 href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/menuseparator.css" />
23 <link rel="stylesheet"
24 href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/dialog.css" />
33 border: 1px solid #6b90da;
41 border: 0px solid #6b90da;
54 .progress-bar-vertical,
55 .progress-bar-horizontal {
57 border: 1px solid #949dad;
64 .progress-bar-horizontal {
69 .progress-bar-vertical {
90 // Workaround: as soon as Filename is referenced, not even use,
91 // getenv is called to obtain OS temporary directories.
92 function caml_sys_getenv (arg) {}
95 <script src="accweb_oclosure.js"></script>
102 <img height="50px" src="fetopen.png" />
106 CerCo : A cost annotating compiler for the C language.
109 <div id="progressbar">
110 <div class="progress-bar-thumb"></div>
111 <div id="progressbarin" style='position:absolute;top:0;text-align:center;width:100%;
112 font:statusbar;padding:2px'>
116 <div id="maintoolbar"></div>
118 <div id="maintabbar" class="goog-tab-bar goog-tab-bar-top"></div>
119 <div class="goog-tab-bar-clear"></div>
120 <div id="maintabbar_content" class="goog-tab-content">
126 <script src="accweb.js"></script>