From f2822ba876defa890c06e179b6f015b9d483c719 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 15 Mar 2009 05:28:32 +0000 Subject: Stub out klee project. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@67019 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/content.css | 25 +++++++++++++++++++++++++ www/index.html | 27 +++++++++++++++++++++++++++ www/menu.css | 39 +++++++++++++++++++++++++++++++++++++++ www/menu.html.incl | 10 ++++++++++ 4 files changed, 101 insertions(+) create mode 100644 www/content.css create mode 100644 www/index.html create mode 100644 www/menu.css create mode 100644 www/menu.html.incl (limited to 'www') diff --git a/www/content.css b/www/content.css new file mode 100644 index 00000000..ab6983b4 --- /dev/null +++ b/www/content.css @@ -0,0 +1,25 @@ +html, body { + padding:0px; + font-size:small; font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222; + line-height:1.5; +} + +h1, h2, h3, tt { color: #000 } + +h1 { padding-top:0px; margin-top:0px;} +h2 { color:#333333; padding-top:0.5em; } +h3 { padding-top: 0.5em; margin-bottom: -0.25em; color:#2d58b7} +li { padding-bottom: 0.5em; } +ul { padding-left:1.5em; } + +/* Slides */ +IMG.img_slide { + display: block; + margin-left: auto; + margin-right: auto +} + +.itemTitle { color:#2d58b7 } + +/* Tables */ +tr { vertical-align:top } diff --git a/www/index.html b/www/index.html new file mode 100644 index 00000000..6bc310c0 --- /dev/null +++ b/www/index.html @@ -0,0 +1,27 @@ + + + + + + The klee Symbolic Virtual Machine + + + + + +
+ +

The klee Symbolic Virtual Machine

+ + +

klee is a symbolic virtual machine built on top of the LLVM + compiler infrastructure.

+ +

Stay tuned for more information on public availability. + +

For more information, see the OSDI 2008 paper.

+ +
+ + diff --git a/www/menu.css b/www/menu.css new file mode 100644 index 00000000..6e96a457 --- /dev/null +++ b/www/menu.css @@ -0,0 +1,39 @@ +/***************/ +/* page layout */ +/***************/ + +[id=menu] { + position:fixed; + width:25ex; +} +[id=content] { + /* ***** EDIT THIS VALUE IF CONTENT OVERLAPS MENU ***** */ + position:absolute; + left:29ex; + padding-right:4ex; +} + +/**************/ +/* menu style */ +/**************/ + +#menu .submenu { + padding-top:1em; + display:block; +} + +#menu label { + display:block; + font-weight: bold; + text-align: center; + background-color: rgb(192,192,192); +} +#menu a { + padding:0 .2em; + display:block; + text-align: center; + background-color: rgb(235,235,235); +} +#menu a:visited { + color:rgb(100,50,100); +} \ No newline at end of file diff --git a/www/menu.html.incl b/www/menu.html.incl new file mode 100644 index 00000000..96e29687 --- /dev/null +++ b/www/menu.html.incl @@ -0,0 +1,10 @@ + -- cgit 1.4.1