/* tidybot-home.css - style sheet for the Tidybot home page.
*/

@import url(tidybot.css);

body { font: 100% serif; }

.devnote
{
  font-family: sans-serif;
  color: #880000;
  border: solid 1px #888888;
  background: white;
  font-weight: bold;
  margin: 1em;
  padding: .5em;
}

h1
{
  text-align: center;
}

ul.options li
{
  margin-bottom: 1em;
}

ul.gui-list li
{
  margin-bottom: 1em;
}

p.code
{
  margin: 0em 2.5em;
}

ul.versions> li
{
  margin-bottom: 1em;
  list-style-type: none;
}

span.version-entry
{
  font-family: sans-serif;
  font-weight: bold;
  font-size: smaller;
  color: #006600;
}