body {
  font-size: 90%;
  font-family: "Lucida Grande", "MS PGothic", Helvetica;
  background-color: #f0f0f0;
  color: #222;
  margin: 0;
  padding: 0;
  line-height: 120%;
}
div.root {
  background-color: white;
  border-right: solid black 1px;
  width: 850px;
  padding: 10px;
}
div.leftmenu {
  float:left;
  width:150px;
}

div.leftmenucontent {
  margin-left:150px;
  border-left: dotted #d0d0d0 1px;
  padding:5px;
}

a.mainmenu { padding-left:2px; padding-right:2px; font-size: 90%; }
a.mainmenu:link { color: #444; text-decoration: none; }
a.mainmenu:visited { color: #444; text-decoration: none; }
a.mainmenu:hover { color: #4C4; text-decoration: none; }
a.mainmenu:active { color: #444; text-decoration: none; }
a.image { text-decoration: none; }

h2 {
  font-size: 110%;
  margin-bottom:0;
  color:#444;
}
div.leftmenu h3 {
  font-size: 110%;
}
div.box {
  border:solid black 1px;
  
}
table {
  width:560px;
  font-size:100%;
  border-collapse: collapse;
  border: solid black 1px;
  line-height: 120%;
}
table.menutable {
  font-size: 100%;
}
table.formatting {
  width:100%;
  border: 0;
  padding: 5px;
}
table.formatting td {
  border: 0;
  padding: 5px;
}
th {
  border: solid black 1px;
  padding: 3px;
  vertical-align: top;
  font-weight:bold;
}
td {
  border: solid black 1px;
  padding: 3px;
  vertical-align: top;
}
td.menu-leftcol {
  background-color: beige;
}
td.company-info {
  background-color: #F0FFF0;
}
td.menu-common {
  background-color: #F0FFF0;
}
td.menu-user {
  background-color: #E0FFE0;
}
td.menu-developer {
  background-color: #E0F0C8;
}
ul {
  margin: 0;
  padding-top: 5px;
  padding-bottom: 5px;
  padding-left: 20px;
  padding-right: 20px;
}
li {
  margin: 0;
  padding: 0;
  list-style: url(img/li1.gif) outside;
}
ul.right {
}
ul.right li {
  list-style: url(img/li1.gif) inside;
}

span.todo {
  color:red;
  text-decoration:underline;
}
img {
  border:0;
}
div.detail {
  margin:0;
  vertical-align: middle;
}
p.footer {
  font-size: x-small;
  margin-top: 3px;
}
pre {
  border: solid 1px;
  padding: 2px;
  background-color: khaki;
}