From ded335b91b54701e54ba07e414457422adb0ba7c Mon Sep 17 00:00:00 2001 From: Greg Price Date: Fri, 12 Dec 2008 01:36:11 -0500 Subject: [PATCH] import invirt.mit.edu web page and CSS svn path=/trunk/scripts/invirt.mit.edu/; revision=1846 --- index.html | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++ static/layout.css | 26 ++++++++++++++++++++++++++ static/style.css | 41 +++++++++++++++++++++++++++++++++++++++++ 3 files changed, 117 insertions(+) create mode 100644 index.html create mode 100644 static/layout.css create mode 100644 static/style.css diff --git a/index.html b/index.html new file mode 100644 index 0000000..156e0a0 --- /dev/null +++ b/index.html @@ -0,0 +1,50 @@ + + +Invirt + + + + + + +

Invirt

+ +

Invirt is free software for managing Xen virtual machines. Invirt +powers the xvm.mit.edu service at +MIT.

+ +

Invirt Features

+ + +

Getting Invirt

+ +

Invirt is free software under the GPL. The source repository is in +Subversion:

+
$ svn co svn://invirt.mit.edu/trunk invirt
+ +

If you're interested in running Invirt in your own environment, +feel free to contact us at invirt@mit.edu. It's not yet +straightforward to install; we're working on it, and we're happy +to help you set it up.

+ +

Invirt is based at SIPB, the +student computing group at MIT. We welcome new contributors; check +out our bug +tracker for an idea of what we're working on now.

+ +

Questions welcome +at invirt@mit.edu.

+ + + diff --git a/static/layout.css b/static/layout.css new file mode 100644 index 0000000..b28b55b --- /dev/null +++ b/static/layout.css @@ -0,0 +1,26 @@ +/* + Good layout ideas stolen from Debathena. + Hey, we use some different fonts (in style.css.) + And the background color is unmistakably different. + Some other things are tweaked too. +*/ + +/* This file contains screen-only layout declarations that won't be + used for printing. */ + +/* Make show up as a centered white box with rounded border, + over the darker enclosing . */ +html { + padding: .75em; + background: #399; +} +body { + position: relative; + margin: 0 auto; + padding: 1.2em; + border: 1px solid black; + -moz-border-radius: .4em; + -webkit-border-radius: .4em; + border-radius: .4em; + background: #fff; +} diff --git a/static/style.css b/static/style.css new file mode 100644 index 0000000..b75a026 --- /dev/null +++ b/static/style.css @@ -0,0 +1,41 @@ +/* + Good style ideas stolen from Debathena. + Hey, we use some different fonts. + And the colors are unmistakably different. +*/ + +/* Basic fonts and sizes. */ +html { + font-size: 87.5%; +} +body { + font-family: Tahoma, Sans, sans-serif; +} +pre, code, samp, kbd, tt { + font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace; + font-size: 100%; +} + +/* Blue headings. */ +h1, h2, h3, h4, h5, h6 { + color: #246; +} + +/* Dividing line under the header. */ +h1 { + border-bottom: 1px solid black; + margin-top: 0; + overflow: auto; +} + +pre { + background: #f6f6f6; + border: 1px solid #ddd; + padding: .125em; +} +a:link, a:visited { + text-decoration: none; +} +a:link:hover, a:visited:hover { + text-decoration: underline; +} -- 1.7.9.5