/* * style.css: CSS style definition file */ body { background: url(http://www.gfd-dennou.org/html/htmltool/wall_d.gif); margin: 0% 10%; font-size: medium; } h1 { text-align: right; font-weight: bold; font-size: large; color: #ffffff; background-color: #6666ff; padding: 5px; margin: 1.5em 0em; } h2 { font-size: large; /* color: #ffffff; */ color: #6666ff; background-color: #ccffff; border: #6666ff 1px dashed; padding: 5px; margin: 1.5em 0em; } h3 { font-size: large; border: #6666ff 2px dotted; color: #6666ff; padding: 5px; } h4 { margin-right: 30%; margin-top: 2em; margin-bottom: 0.5em; font-size: medium; border-bottom: #6666ff 2px dotted; } h5 { font-weight: bold; color: #009900 ; background-color: #ccffff; font-size: large; padding-left: 0.5em; } h6 { border-bottom: #6666ff 5px dotted; color: #009900 ; font-size: 2pt; font-weight: bold; } div { } hr { border: #ffcc66 1px solid; } dd { margin-left: 10px; margin: 1em; border: #ffcc00 2px dotted; background-color: #ffffcc; } dt { font-size: large; border: #6666ff 2px dotted; color: #6666ff; padding: 5px; } ol,ul { margin-top: 1ex ; margin-bottom: 1ex ; } p { margin-left: 0.5em; } /* table { font-size: medium; margin-top: 0.5ex; margin-left: 0.1em; margin-bottom: 1ex; /* background: #ccff66; */ /* border: #ccff66 1px solid; */ } td { /* border: #ccff66 1px solid; */ } */ KBD{ text-decoration: underline; } CODE{ color: #004080; } address { color: #ccffff; text-align: right; font-family: Times, serif; } var { color: #999966; font-size: x-small; } em { color: #004080; font-style: normal; } pre { margin: 1em; white-space: pre; padding: 0.5em; border: #6666ff 2px dotted; color: #339933; } a:link { color: #ff9999; } a:visited, a:active { color: #6666ff; }