/* 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 #aaaaaa;
}

h2 {
  text-align: left;
  margin-top: 30pt;
  border-bottom: solid thin #448800;
  border-left: #448800 10px solid;
  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 */

div.footer { color: #aaaaaa }

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: #cccccc; 
}

div.box {
  font-size: 100pt;
  background: #00cccc;
}

span.wiliki-alert { background-color: #ff8080; } /* used to warn internal error */


