* { 
    -moz-box-sizing: border-box; 
    -webkit-box-sizing: border-box; 
     box-sizing: border-box; 
}

body, html
{ 
    background-color: black;
    color: white;
    font-family: Courier New, Courier, monospace;
}

input {
    background-color: #222222;
    color: white;
}
td {
    padding: 5px;
    padding-right: 40px;
}
.tagfull
{
    margin-bottom: 1%;
    margin-top: 1%;
    border-style:groove;
    border-color: #111111;
    padding-bottom: 2%;
    padding-top: 2%;
}

.tag
{
    margin-left: 2%;
    font-size: larger;
    color: cyan;
}

.tagdesc
{
    margin-left: 5%;
}

#construction
{
    font-size: x-large;
    color: red;
}

a:link
{
    color: cyan;
}

a:visited
{
    color: gray;
}

a:hover
{
    color:aquamarine;
}

a:active
{
    color:white;
}

#warn
{
    color: red;
}

#docs
{
    width: 50%;
    margin: auto;
}

.spaced
{
    margin-top:10px;
}

.keyword
{
    color:lime;
    font-weight:bold;
}

h2
{
    color:cyan;
    font-weight:bold;
}

h3
{
    color:darkcyan;
    font-weight:bold;
}

.command
{
    color:cyan;
}

.gold
{
    color:yellow;
}

.example-main-desc
{
    margin-left: 5%;
    margin-right: 5%;
    font-family: Consolas, monospace;
    border-style:inset;
    padding: 15px;
    border-color:gray;
}

#wysiwyg
{
    background-color: black;
    color: white;
    overflow-y: scroll;
    padding: 10px;
}

.textbox
{
    width: 80%;
    height: 500px;
    border-style: inset;
    border-color: gray;
    margin: auto;
}

#bookinput
{
    background-color: #222222;
    color: #ffffff;
    font-family: monospace;
    width: 100%;
    height: 100%;
    overflow-y: scroll;
    padding: 10px;
}

#details
{
    width: 80%;
    margin: 0 auto;
}

#bookoutput
{
    width: 100%;
    background-color: darkslategrey;
    color: white;
    height: 100%;
    overflow-y: scroll;
    padding: 10px;
}

#intro
{
    width: 80%;
    margin: 0 auto;
}

.red { color: red; font-weight: normal; }
.green { color: green; font-weight: normal; }
.yellow { color: yellow; font-weight: normal; }
.blue { color: blue; font-weight: normal; }
.magenta { color: magenta; font-weight: normal; }
.cyan { color: cyan; font-weight: normal; }
.white { color: white; font-weight: normal;}

.bred { color: red; font-weight: bolder; }
.bgreen { color: green; font-weight: bolder; }
.byellow { color: yellow; font-weight: bolder; }
.bblue { color: blue; font-weight: bolder; }
.bmagenta { color: magenta; font-weight: bolder; }
.bcyan { color: cyan; font-weight: bolder; }
.bwhite { color: white; font-weight: bolder; }
.bblack { color: rgb(54, 54, 54); font-weight: bolder; }