lib.css

A very small LISP implementation with several packages and demo programs.

/* 13dec07abu
 * (c) Software Lab. Alexander Burger
 */

/* Lib */
.left {float: left;}
.right {float: right;}
.clr {clear: both;}
.norm {text-align: left;}
.align {text-align: right;}
.black {color: black;}
.red {color: red;}
.blue {color: blue;}
.bold {font-weight: bold;}
.btn {width: 12px;}

/* Defaults */
body {
   background-color: white;
   font-family: Arial, Helvetica, sans-serif;
   font-size: 12px;
   margin: 0;
}

img {border: 0;}
fieldset {border-style: none;}
input, textarea, select {background-color: rgb(90%,90%,90%);}

caption {
   padding: 2px 6px;
   text-align: left;
   margin-top: 12px;
   background-color: rgb(70%,70%,70%);
}

/* Navigation */
#menu {
   position: absolute;
   top: 0;
   left: 0;
   width: 18em;
   height: 100%;
   padding: 0;
   margin: 0;
   background-color: rgb(70%,70%,70%);
}

#menu ul {
   list-style: none;
   padding: 0;
}

#menu a {
   text-decoration: none;
}

#menu a:hover {
   background-color: rgb(80%,80%,80%);
}

#menu .cmd1, .act1, .cmd2, .act2, .cmd3, .act3, .cmd4, .act4 {
   list-style-position: inside;
	list-style-type: circle;
   padding: 0 0 0 12px;
}

#menu .act1, .act2, .act3, .act4 {
	list-style-type: disc;
}

#menu .sub1, .top1, .sub2, .top2, .sub3, .top3, .sub4, .top4 {
   list-style-position: inside;
   padding: 4px 0 4px 12px;
}

/* Tabulators */
.tab {
   margin-bottom: 9px;
}

.tab a {
   color: black;
   text-decoration: none;
}

.tab td {
   padding: 4px 8px;
   margin: 4px;
}

.tab .top {
   background-color: rgb(70%,70%,70%);
}

.tab .sub {
   background-color: rgb(90%,90%,90%);
}

/* Main area */
#main {
   position: absolute;
   top: 0;
   left: 20em;
}

/* Charts */
.chart {
   width: 100%;
}

.chart td {
   background-color: rgb(90%,90%,90%);
}

.chart td.T {
   background-color: rgb(80%,80%,80%);
}

/* Edit Mode */
.edit {
   font-weight: bold;
}

/* Errors */
.err {
   color: red;
   background-color: yellow;
   margin-bottom: 12px;
}

/* +Tiny */
.tiny {
   font-size: 9px;
   padding: 0;
}

/* Alerts */
.alert {
   display: inline;
   padding: 6px;
   margin: 12px 0 12px 60px;
   background-color: yellow;
   border: dotted 2px;
}

/* Dialogs */
.dialog {
   padding: 6px;
   margin: 12px 60px 12px 60px;
   border: dotted 2px;
}