blob: ec0ae37a88f43f5633e4ab68b1ebec68ab08d532 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<div id="canvasWrapper"> <div id="canvas">
<!-- PAGE HEADER -->
<div id="pageHeaderWrapper"> <div id="pageHeader">
<br class="clearer">
<div id="navigationTop">
<a href="https://github.com/GaloisInc/FiveUI">
<img id="forkme"
src="http://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png"
alt="Fork me on GitHub" />
</a>
</div>
<div id="bannerAreaWrapper"> <div id="bannerArea"> <div id="siteTitleWrapper">
<div id="siteTitle"> <a href="https://github.com/GaloisInc/FiveUI/">FiveUI @ Galois' Github</a> </div>
</div> </div> </div> <!-- Banner Area (and wrapper) -->
</div> </div> <!-- Page Header (and wrapper) -->
<!-- PAGE BODY -->
<div id="pageBodyWrapper"> <div id="pageBody">
<div id="contentWrapper"> <div id="content">
|