61 lines
802 B
CSS
61 lines
802 B
CSS
/**
|
|
* Copy of CC standard stylesheet, plus tweaks for iframe usage
|
|
*/
|
|
|
|
/* stylelint-disable selector-class-pattern */
|
|
|
|
body {
|
|
margin: 0;
|
|
background: #eee;
|
|
font-family: 'Verdana', sans-serif;
|
|
color: #333;
|
|
}
|
|
|
|
#main {
|
|
border: 1px solid #d0d0d0;
|
|
background: #fff;
|
|
margin: 0.5em;
|
|
}
|
|
|
|
/**
|
|
* Looks like you have to specify the width of #menu as
|
|
* Opera streches it half way.
|
|
*/
|
|
|
|
#main #menu {
|
|
border-left: 1px dotted #ccc;
|
|
float: right;
|
|
width: 230px;
|
|
background: #fff;
|
|
margin: 0 0 10px 10px;
|
|
}
|
|
|
|
h1,
|
|
h3,
|
|
p,
|
|
pre,
|
|
td {
|
|
margin: 0 20px 20px 20px;
|
|
font-size: 11px;
|
|
line-height: 140%;
|
|
}
|
|
|
|
.header {
|
|
padding-left: 10px;
|
|
padding-top: 10px;
|
|
}
|
|
|
|
.nav {
|
|
padding-left: 10px;
|
|
padding-bottom: 10px;
|
|
font-size: 11px;
|
|
margin-bottom: 16px;
|
|
}
|
|
|
|
#menu p {
|
|
font-size: 11px;
|
|
}
|
|
|
|
.dent {
|
|
margin-left: 64px;
|
|
}
|