body
{
  background-color:#F8F8F8;
}

.how-to
{
background-color: #EEFFEE;
padding: 2px;
}

.important
{
background-color: #FFFFCC;
padding: 2px;
}

.comment
{
background-color: #EEEEEE;
padding: 2px;
}

.tablecloth-bg
{
background-image: url('../../shrd/Tablecloth.png');
background-repeat: repeat;
padding: 8px;
}

.show-link
{
text-decoration:underline;
}

.related-topics
{
font-weight: bold;
}

.labels
{
    /*
font-family:  Arial, sans-serif;
font-weight: bold;
font-size: 13px;
background-color: #eeeeee;
border-width: 1px;
border-style: solid;
border-color:#888888;
padding-left: 2px;
padding-right: 2px;
white-space: nowrap;
     */
}

.keypress
{
    /*
font-family:  Courier, monospace;
font-weight: bold;
font-size: 13px;
background-color: #dddddd;
border-width: 1px;
border-radius: 5px;
border-style: solid;
border-color:#888888;
padding-left: 3px;
padding-right: 3px;
     */
}

.code
{
font-family:  Courier, monospace;
}

.emcode
{
font-weight: bold;
font-family:  Courier, monospace;
}

.hilite-code
{
font-family:  Courier, monospace;
background-color: #EEEEEE;
}

/* main-menu is meant to be <h3> without forcing the following vertical spacing */
.main-menu
{
    font-size: 1.17em;
    margin-top: 0;
    margin-bottom: 0;
    margin-left: 0;
    margin-right: 0;
    font-weight: bold;
}

.nav-arrows
{
	border: 0px;
	width: 16px;
	height: 16px;
}


.hidable
{
	display: none;
	margin-top: 0;
}

.hidable-title
{
	font-size: 110%;
	color: blue;
}

.hider
{
	margin-top: 0;
	margin-bottom: 0;
    cursor: pointer;
}

.hider:hover
{
	text-decoration: underline;
}

.hider-label
{
	color: blue;
	font-size: 0.8em;
    float: right;
}

.dropshadow
{
	box-shadow: 0 0 1em black;
}

.retina
{
    display: none;
}

@media only screen and (-webkit-min-device-pixel-ratio: 2)
{
    .nonretina
    {
        display: none;
    }
    .retina
    {
        display: inline;
    }
}