/* sample style sheet for wiliki */
body {
  color: black;
  background-color: #fffffe;
}
h1 { 
  font-size: 200%;
  text-align: right;
  margin-top: 20pt;
  margin-bottom: 20pt;
  border-bottom: solid thick #888844;
}
h2 {
  text-align: left;
  margin-top: 30pt;
  padding-top: 2px;
  padding-bottom: 2px;
  padding-left: 10px;
  background: #ccffcc; 
}
h3, h4, h5, h6 {
   text-align: left;
   background: transparent;
}
h3 { font-size: 130% }
h4 { font-size: 110% }
h5 { font-size: 100% }
h6 { font-size: 100%; font-style: italic }
pre {
    margin-left: 2em;
    margin-right: 2em;
    font-family: monospace;
    background-color: #eeffee;
    border: solid thin #9999aa;
}
pre.macroerror { 
    background-color: #ee5555;
}
blockquote {
    border: solid thick #aabbdd;
}
dt { font-weight: bold }
/*table.content-table { table-layout : fixed }*/
td.inbody { background-color: #eeeeee }   /* used in formatted body */
td.preview { background-color: #eeeedd }  /* used in preview page */
td.menu-strip ul {
  margin: 0pt;
  padding-left: 5pt;
}
div.menu-title {
  margin-top: 20px;
  margin-bottom: 5px;
  text-align : center;
  font-weight: bold;
  background: #ccffcc; 
}
div.box {
  title-size: 100pt;
  background: #00cccc;
}
span.wiliki-alert { background-color: #ff8080; } /* used to warn internal error */
#topbutton {
    font-size:80%;
    float:right;
    position:relative;
    height:0;
    margin-bottom:0.5ex;
}
#topbutton img {
    border:0;
}
#topbutton td {
    vertical-align:top;
}
#footer {
    text-align:right;
    color:#aaaaaa;
}
#content-table {
    border:0;
    border-spacing:8px;
    margin-top:0;
    width:100%;
}
#content-table td {
    vertical-align:top;
    margin:8px;
/*
    #font-size:80%;
    #width:10em;
*/
}
#menu-strip {
    font-size:80%;
    width:10em;
    vertical-align:top;
}
#menu-strip ul {
    padding:0 0.5em;
    list-style-type:none;
}
#logo {
    text-align:center;
}
#logo img {
    border:0;
}
#menu-llink p {
    margin-left:0.5em;
}
#menu-llink ul, .menu-list {
    margin-left:0;
}
#searchbox {
    margin-top:2pt;
    margin-bottom:2pt;
}
.navi-button {
    margin:0pt; 
    padding:0pt;
}
#pdbfig {
    border:0;
}
#pdbfig td {
    padding:0;
}
#pdbfig img {
    border:0;
}