@charset "utf-8";

/* figure */
#contents article .indentBox .artBox figure { display:block; margin:1em 40px; }
#contents article .indentBox .artBox figure a { display:none; }
#contents article .indentBox .artBox figure a.first { display:block; }
#contents article .indentBox .artBox figure img { display:block; margin:0 auto; }
#contents article .indentBox .artBox figure figcaption { display:block;margin:1em 0 0; font-size:80%;color:#999; }

/* ul */
#contents article .indentBox .artBox ul.summary li p { text-indent:0;padding:10px 0;}
#contents article .indentBox .artBox ul.disc { margin:15px 0 15px 0;}
#contents article .indentBox .artBox ul.disc li { margin:0 0 0 2em; padding:0; list-style-type:disc; background:none; }

/* dl */
dl { margin:0 0 30px; border-radius:10px; padding:15px; background:#E5E5D6; }
dl dt { margin:20px 0 0; padding:0 0 0 10px; font-weight:bold; }
dl dt:first-child { margin:0; }
dl dd { margin:0; padding:8px 5px; border-radius:5px; background:#FFF; color:#666; font-size:85%; }

/* list */
#contents article .indentBox .artBox ol { list-style-type:decimal; padding-left:3em; }

/* leadBox */
#contents article .indentBox .leadBox p { margin-bottom:15px; }
#contents article .indentBox .leadBox .note { color:#666; font-size:77%; }

/* example */
#contents article .indentBox .artBox .example a { color:#18273D; background-color: #FBCDB9; text-decoration:none; }
#contents article .indentBox .artBox .example a:hover { text-decoration:underline; }

/* Monalisa table */
#contents article .indentBox .artBox table.monalisa{ border-collapse:collapse;border:none; margin:20px auto;}
#contents article .indentBox .artBox table.monalisa td, table.monalisa th { border:1px solid gray; padding-top:5px; height:15px; }

/* button */
button { margin:0 5px 5px 0; padding:3px 10px; border-radius:3px; display:inline-block; background-color:#999; color:#FFF; cursor:pointer; border:none; }
button.select { background-color:#333; }

/* pre.error */
pre.error { padding:1em; border:1px solid red; color:red; font-weight:bold; }