/src/visualiser/index.html

http://github.com/hhughes/ocaml-frui · HTML · 96 lines · 96 code · 0 blank · 0 comment · 0 complexity · 2796c222d5e4a880d2c86d107a7f8f44 MD5 · raw file 

    

  1. <html>
    2. 

  2.   <head>
    3. 

  3.     <style type='text/css'>
    4. 

  4.       div#top {
    5. 

  5.       position: absolute;
    6. 

  6.       top: 0;
    7. 

  7.       height: 25px;
    8. 

  8.       left: 0;
    9. 

  9.       right: 0;
    10. 

  10.       }
    11. 

  11.       div#main {
    12. 

  12.       position: absolute;
    13. 

  13.       left: 10px;
    14. 

  14.       right: 10px;
    15. 

  15.       bottom: 10px;
    16. 

  16.       top: 35px;
    17. 

  17.       border: 1px solid black;
    18. 

  18.       }
    19. 

  19.       div.msg {
    20. 

  20.       position: absolute;
    21. 

  21.       display: inline-block;
    22. 

  22.       height: 20px;
    23. 

  23.       width: 2px;
    24. 

  24.       background-color: black;
    25. 

  25.       }
    26. 

  26.       div.thread {
    27. 

  27.       position: absolute;
    28. 

  28.       height: 20px;
    29. 

  29.       width: 200px;
    30. 

  30.       border: 1px solid black;
    31. 

  31.       }
    32. 

  32.       div.fn {
    33. 

  33.       position: absolute;
    34. 

  34.       height: 20px;
    35. 

  35.       border-left: 1px solid black;
    36. 

  36.       border-right: 1px solid black;
    37. 

  37.       background-color: lightgrey;
    38. 

  38.       }
    39. 

  39.       div#msg_count {
    40. 

  40.       position: absolute;
    41. 

  41.       right: 5px;
    42. 

  42.       bottom: 5px;
    43. 

  43.       }
    44. 

  44.       div#visualiser {
    45. 

  45.       position: absolute;
    46. 

  46.       left: 0px;
    47. 

  47.       top: 0px;
    48. 

  48.       right: 200px;
    49. 

  49.       height: 400px;
    50. 

  50.       overflow-y: scroll;
    51. 

  51.       }
    52. 

  52.       div#widgets {
    53. 

  53.       position: absolute;
    54. 

  54.       top: 0px;
    55. 

  55.       right: 0px;
    56. 

  56.       height: 400px;
    57. 

  57.       }
    58. 

  58.       div#pie {
    59. 

  59.       position: absolute;
    60. 

  60.       top: 0px;
    61. 

  61.       right: 0px;
    62. 

  62.       width: 200px;
    63. 

  63.       height: 200px;
    64. 

  64.       }
    65. 

  65.       div#cloud {
    66. 

  66.       position: absolute;
    67. 

  67.       right: 0px;
    68. 

  68.       top: 200px;
    69. 

  69.       width: 200px;
    70. 

  70.       height: 200px;
    71. 

  71.       }
    72. 

  72.       div#timeline {
    73. 

  73.       position: absolute;
    74. 

  74.       left: 0px;
    75. 

  75.       top: 400px;
    76. 

  76.       }
    77. 

  77.     </style>
    78. 

  78.   </head>
    79. 

  79.   <body>
    80. 

  80.     <div id='top'>
    81. 

  81.       Enter url of json file: <input type='text' id='json_url' value='http://localhost:8080/events' /><button id='visualise' type='button'>Visualise</button><button id='next_msg' type='button'>Add</button><button id='start' type='button'>Start</button><button id='msg' type='button'>Msg</button><button id='test1a' type='button'>Test1a</button><button id='test1b' type='button'>Test1b</button><button id='test2' type='button'>Test2</button><button id='test1000' type='button'>Test1000</button><button id='test10000' type='button'>Test10000</button>
    82. 

  82.     </div>
    83. 

  83.     <div id='main'>
    84. 

  84.       <div id='visualiser'>
    85. 

  85. 	<div id='msg_count'></div>
    86. 

  86.       </div>
    87. 

  87.       <div id='widgets'>
    88. 

  88. 	<div id='pie'></div>
    89. 

  89. 	<div id='cloud'></div>
    90. 

  90.       </div>
    91. 

  91.       <div id='timeline'></div>
    92. 

  92.     </div>
    93. 

  93.     <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.4/jquery.min.js"></script>
    94. 

  94.     <script src="./main.js"></script>
    95. 

  95.   </body>
    96. 

  96. </html>
    97.