77 lines
No EOL
1.9 KiB
CSS
77 lines
No EOL
1.9 KiB
CSS
/*body { background-color: red; }*/
|
|
.level2 {
|
|
background-color: white;
|
|
font-family: Ubuntu, sans-serif;
|
|
font-size: 12px;
|
|
/* position: absolute; top: 10mm; left: 10mm;*/
|
|
position: absolute; top: 0; left: 0;
|
|
height: 190mm;
|
|
width: 277mm;
|
|
}
|
|
h2 {
|
|
/* background-color: #008AB8;*/
|
|
/* border-radius: 4px;*/
|
|
border-top: 2px solid #008AB8;
|
|
border-bottom: 2px solid #008AB8;
|
|
color: #008AB8;
|
|
/* color: white;*/
|
|
font-size: 24px;
|
|
font-weight: bold;
|
|
padding: 8px;
|
|
text-align: center;
|
|
width: 85.6mm;
|
|
}
|
|
|
|
.level3 {
|
|
border-bottom: 2px solid;
|
|
border-color: #008AB8;
|
|
/* border-radius: 4px;*/
|
|
width: 90mm;
|
|
}
|
|
h3 {
|
|
background-color: #008AB8;
|
|
border-top-left-radius: 4px;
|
|
border-top-right-radius: 4px;
|
|
color: white;
|
|
font-size: 16px;
|
|
font-weight: bold;
|
|
padding: 4px;
|
|
}
|
|
|
|
.level4 { margin: 4px 0; }
|
|
.level4:last-child { margin: 0px 0; }
|
|
.level4:nth-child(2n+1) { background-color: lightgrey; }
|
|
h4 {
|
|
float: left;
|
|
font-family: Ubuntu Mono, monospace;
|
|
padding: 0 1mm;
|
|
width: 16mm;
|
|
}
|
|
p {
|
|
margin-left: 18mm;
|
|
padding: 0 1mm;
|
|
}
|
|
|
|
#abbreviations { position: absolute; top: 0; left: 0; }
|
|
#layout-management { position: absolute; top: 24.7ex; left: 0; }
|
|
#administration { position: absolute; bottom: 0; left: 0; }
|
|
|
|
#window-management { position: absolute; top: 0; left: 93.5mm; }
|
|
#window-debugging { position: absolute; bottom: 0; left: 93.5mm; }
|
|
|
|
#view-tag-management { position: absolute; top: 0; right: 0; } /* 3.2ex * 3 */
|
|
#monitor-management { position: absolute; top: 33.7ex; right: 0; }
|
|
h2 { position: absolute; top: 39.0ex; right: 0; }
|
|
#gui-management { position: absolute; bottom: 0; right: 0; }
|
|
|
|
code { font-family: Ubuntu Mono, monospace; }
|
|
kbd {
|
|
background-color: lightgrey;
|
|
border: 1px solid grey;
|
|
border-bottom-width: 2px;
|
|
border-radius: 4px;
|
|
font-family: Ubuntu Mono, monospace;
|
|
font-size: 10px;
|
|
padding: 1px 4px;
|
|
}
|
|
li { padding: 4px; } |