@charset "Shift_JIS";
/* lecture.css */

body { background-color: honeydew; }
h2 { font-size: 130%; font-weight: bolder; color: blue; }
h3 { font-size: 120%; font-weight: bolder; color: darkviolet; }
caption { font-size: 120%; font-weight: bolder; }
td { padding-right: 1em; }
dt { font-size: 110%; font-weight: bolder; }

.large { font-size: 120%; }
.larger { font-size: 140%; }

div.indent1, p.indent1 { padding-left: 4em; }
div.indent2, p.indent2 { padding-left: 8em; }

.attention { color: red; font-size: 110%; font-weight: bold; }
.emph { color: darkviolet; font-size: 110%; font-weight: bold; }