body {
    margin-left: 7.5%;
    margin-right: 15%;
    color: black;
    background-color: #EEE;
    font-family: sans-serif;
}

h1, h2, h3, h4, h5, h6 {
    color: navy;
    background-color: inherit;
}

h1, h2 {
    margin-left: -5%;
}

.breadcrumbs {
    padding-bottom: 1%;
    margin-bottom: 2%;
    border-bottom: 1px solid #ccc;
    font-size: 90%;
}

.node{
    margin-left: -7.5%;
    color: inherit;
    background-color: #DDF;
}

.menu, .node {
    color: inherit;
    background-color: #DDF;
}

table.menu, table.menu th, table.menu td {
    border-style: none;
}

h2 {
    padding: 0.5%;
    border: 2px solid navy;
}

.contents, .mini-toc {
    border: 4px double #DDF;
    padding: 0.25% 0.5% 0.5% 2%;
}

.contents h2 {
    margin-left: 0;
    color: black;
    background-color: #DDF;
}

.contents li {
    list-style-type: none;
}

.shortcontents {
    background-color: #DDF;
    border: 4px double #000;
 }

.shortcontents h2{
    display: none;
}

h1.node-heading {
    display: none;
}

h2.contents-heading{
    display: none;
}

h2.shortcontents-heading{
    display: none;
}

.shortcontents a {
   margin-right: 0.25%;
}

h3, h4, h5 {
    margin-left: -0.25%;
}

h5 {
    font-size: 100%;
}

p {
    line-height: 125%;
    margin-top: 0;
    margin-bottom: 0.5%;
}

a:hover {
    color: red;
    text-decoration: underline;
}

.example, pre.verbatim {
    margin: 0.25% 0 0.25% 0;
    padding: 0 0 0 2.5%;
    border: 1px solid #CCC;
}

a {
    text-decoration: none;
}

blockquote {
    border: 1px solid #00F;
}

kbd, code, .file, var, kbd.kbd {
    font-style: normal;
    font-weight: normal;
    font-family: monospace;
    font-size: 110%;
    margin-left:0.5%;
}

kbd.kbd {
    font-style: normal;
    font-weight: bold;
    font-family: monospace;
    font-size: 110%;
    margin-left:0.25em;
    margin-right: 0.25em;
}

table, th, td {
    border: 1px solid black;
    border-collapse: collapse; /* 枠線の表示方法 */
    margin-bottom: 2.5%;
}

table.cartouche, table.cartouche th, table.cartouche td  {
    border: none;
}

pre.example .command, pre.example .option, pre.example {
    font-weight: bold;
    font-family: monospace;
    font-size: 110%;
    background-color: inherit;
    font-style: normal;
    margin-left:0;
    margin-right: 0;
}

pre.example strong {
    font: inherit;
    border: 2px solid green;
}

pre.example em {
    font-size: 100%;
    font-style: normal;
    font-weight: bold;
}

th {
    font-style: normal;
    font-weight: bold;
    font-family: sans-serif;
    text-align: center;
}

dfn {
    font-style: normal;
}

.header, .menu {
    display: none;
}

em {
    font-style: normal;
    font-weight: bold;
}

hr {
    display: none;
}

p.nav-panel {
    border-top: 1px solid #ccc;
    border-bottom: 1px solid #ccc;
    margin-top: 2%;
}
