/*
 * Hi there. Welcome to the style sheet :)
 * 
 * Last modified: 27.10.2009 
 * By: mj
 */
body 
{
    background: #eee;
    padding: 0;
    font-family: sans-serif;
    font-size: 85%;
}

hr {
    border: 2px black;
    color: black;
    height: 2px;
}

/*
 * Displaying of the Menu
 */
div#menuHeaderOne 
{ 
    font-size: 120%;
    text-decoration: bold;
}

div#menuHeaderTwo 
{
    font-size: 85%;
    text-decoration: bold;
}

div#menuItem 
{ 
    font-size: 50%;
}

table#menutable
{
    font-size: 90%;
    width: 100%;
}

table
{
    font-size: 100%;
}

td#menu_left 
{
    text-align: left;
    padding-left: .8em;
    border: 1px #900 solid;
    background-color: #fff;
    padding-top: 0mm;
    padding-bottom: 0mm;
/* float: left; */
}

td#menu_right 
{
    text-align: right;
    padding-right: .8em;
/* float: right; */
}

a.menu_leftlink 
{
    margin-left: .5em;
    margin-right: .5em;
/*float: left;*/
}

a.menu_rightlink 
{
    margin-right: .5em;
    margin-left: .5em;
/* float: right; */
}


/*
 * Yeah, another comment content separator
 */
div#header 
{
    background: #fff;
    border: 1px solid #900;
    /*background: #fff;
      color: #fff;
      margin: 0;
      padding-left: .2em;
      padding-right: .2em; */
    width: 70%;
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 1mm;
    margin-top: 1mm;
    padding-left: 2mm;
    padding-right: 2mm;
    padding-bottom: 1mm;
    padding-top: 1mm;
}

div#logo
{
    padding-top: 1mm;
    padding-left: 2mm;
    padding-right: 2mm;
}

div#adminlinks
{
    text-align: right;
    padding-left: 4mm;
    padding-right: 4mm;
}

div#menu 
{
    /*background: #fff;
      color: #fff;
      margin: 0;
      padding-left: .2em;
      padding-right: .2em; */
    width: 70%;
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 1mm;
    margin-top: 1mm;
    padding-left: 2mm;
    padding-right: 2mm;
    padding-bottom: 1mm;
    padding-top: 1mm;
}

div#powerlinks
{
    text-align: center;
}

a.editlink
{
    color: #f00;
    padding-right: .2em;
    padding-left: .2em;
    margin-right: .5em;
    margin-left: .5em;
}

div#sidebar {
    clear: left;
    background: #fff;
    padding-top: 1mm;
    padding-bottom: 1mm;
    padding-left: 1mm;
    padding-right: 1mm;
    border: 1px solid #900;
    position: absolute; /* fixed will make it visible at all times*/
    width: 13%;
    float: left;
    overflow: hidden;
    font-size: 90%;
}

div#content 
{
    background: #fff;
    border: 1px solid #900;
    /*min-width: 14em;
      max-width: 80em;*/
    position: relative;
    width: 70%;
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 2mm;
    margin-top: 1mm;
    padding-left: 2mm;
    padding-right: 2mm;
    padding-bottom: 1mm;
    padding-top: 1mm;
    text-align: center;
}

span.sidebar_header {
    font-weight: bold;
    font-size: 120%;
    text-decoration: underline;
    text-align: center;
    padding-left: 1mm;
}

div#article 
{
    text-align: justify;
    line-height: 140%;
    padding-left: 4mm;
    padding-right: 4mm;
    padding-bottom: 4mm;
    /*border: 1px solid #900;
      background: #fff; */
    clear: both;
}

a.adminlink 
{
    font-size: 90%;
    color: gray;
    margin-left: 1em;
}

input,select
{
    font-size: 90%;
    border: 1px solid;
}

div#mw-subcategories, #mw-pages 
{
    /* border: 1px dashed; 
     * How about no border at all?
     -- mt
     */
    padding: .7em;
}

div#contactform 
{
    width: 50%;
}

pre#motd
{ 
    font-size: 100%;
    /* border: 1px solid #aaa; */
    padding: .4em;
    margin-right: 10%;
    margin-left: 10%;
}


/*
 * For the News
 */

div.newsdisplay
{ 
    width: 80%;
    /* border: 1px solid #ccc; */
    margin-left: auto;
    margin-right: auto;
}

div.newsitem
{
    margin: 1em;
}

span.newsitem_headline 
{
    font-size: 1.1em;
    font-weight: bold;
}

span.newsitem_timestamp 
{
    margin-left: 1em;
}

span.newsitem_content 
{
    display: block;
}


/*
 * Another comment content separator
 */
table#toc
{ 
    background-color: #f9f9f9; 
    border: 1px solid #900;
    padding-left: .7em;
    padding-right: .7em;
    margin-top: .7em;
    font-size: 100%;
    line-height: 140%;
    min-width: 40%;
}


/*
 * IMAGE THUMBS
 */

div.tright 
{
    border-width: 0.5em 0 0.8em 1.4em;
    clear: right;
    float: right;
}

div.thumb 
{
    border-color: white;
    border-style: solid;
    margin-bottom: 0.5em;
    width: auto;
}

div.thumbinner
{ 
    border: 1px solid black;
    padding: .2em;
    background-color: #f9f9f9;
}

div.thumbcaption
{ 
    margin-top: .5em;
    padding: .2em .3em;
    text-align: left;
}

.magnify 
{
    float: right;
}


/*
 * IMAGE GALLERIES
 */
table.gallery
{ 
    border: 1px solid #ccc;
    padding: 2px;
    margin-left: auto;
    margin-right: auto;
}

table.gallery td
{ 
    vertical-align: top;
    background-color: #f9f9f9;
    border: 2px solid white;
}

/*
 * Mediawiki junk we don't want to see
 */
div.printfooter
{
    display: none;
}               


/*
 * GENERAL, self-explanatory stuff
 */
h1, h2 /*, h3, h4, h5, h6 -- do we really need to underline such small
         headings?*/
{ 
    text-align: left;
    border-bottom: 1px solid #ccc;
    line-height:  140%;
}

h3, h4, h5, h6
{
    text-align: left;
    line-height:  140%;
}

pre
{ 
    font-size: 120%;
    border: 1px dashed #009;
    padding: .4em;
    margin-right: 10%;
    margin-left: 10%;
}

tt
{ 
    font-size: 120%;
}


ul,li
{ 
    list-style-images: url(bullet.gif);
    list-style-type: square;
}

a 
{
    text-decoration: none;
}

img
{ 
    border-style: none;
}

/*
 * I've no idea what this is
 */

div#newssearch {
    width: 90%;
    border: 1px solid black;
    background-color: #ccc;    
    padding: 10px;
}

form#powersearch
{
    display: none;
}

.trickbot {
    display: none;
}

/* 
 * Do we really want to have smaller font in every
 * table of contents?
 span.toctext
 { 
 font-size: 80%;
 }
 */

div.floatright
{
    clear: right;
    float: right;
    position: relative;
    margin: 0 0 0.5em 0.5em;
}