web/accweb.html

   1 <!DOCTYPE HTML>
   2 <html>
   3 <head>
   4
   5 <meta http-equiv="X-UA-Compatible" content="IE=edge">
   6
   7 <link rel="stylesheet"
   8       href="http://closure-library.googlecode.com/svn/trunk/closure/goog/css/common.css" />
   9 <link rel="stylesheet"
  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" />
  25
  26  <style>
  27     .goog-tab {
  28       width: 15em;
  29     }
  30
  31     .goog-tab-content {
  32       margin: 0;
  33       border: 1px solid #6b90da;
  34       border-top: 0;
  35       padding: 1px 0px;
  36       background: #fff;
  37       overflow: auto;
  38     }
  39
  40     .editor {
  41     border: 0px solid #6b90da;
  42     width: 100em;
  43     height: 50em;
  44     padding: 4px 8px;
  45     background: #eee;
  46     }
  47
  48     .logo {
  49     float: left;
  50     overflow: auto;
  51     height: 100px;
  52     }
  53
  54    .progress-bar-vertical,
  55     .progress-bar-horizontal {
  56       position: relative;
  57       border: 1px solid #949dad;
  58       background: white;
  59       padding: 1px;
  60       overflow: hidden;
  61       margin: 2px;
  62     }
  63
  64     .progress-bar-horizontal {
  65       width: 80%;
  66       height: 14px;
  67     }
  68
  69     .progress-bar-vertical {
  70       width: 14px;
  71       height: 200px;
  72     }
  73
  74     .progress-bar-thumb {
  75       position: relative;
  76       background: #d4e4ff;
  77       overflow: hidden;
  78       width: 100%;
  79       height: 100%;
  80     }
  81
  82     #progressbar {
  83       height: 1.3em;
  84     }
  85
  86   </style>
  87
  88
  89 <script>
  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) {}
  93 </script>
  94
  95 <script src="accweb_oclosure.js"></script>
  96
  97 </head>
  98
  99 <body>
 100
 101   <div class="logo">
 102   <img height="50px" src="fetopen.png" />
 103   </div>
 104
 105   <h1>
 106     CerCo : A cost annotating compiler for the C language.
 107   </h1>
 108
 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'>
 113     </div>
 114   </div>
 115
 116   <div id="maintoolbar"></div>
 117
 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">
 121
 122
 123   </div>
 124 </body>
 125
 126 <script src="accweb.js"></script>
 127 </html>