/demos/demo.css

 1body {
 2}
 3
 4#intro {
 5    font-size: 125%;
 6    color: green;
 7}
 8
 9p.small {
10    font-size: 75%;
11}
12
13span.smaller {
14    font-size: 75%;
15}
16
17pre {
18/*
19    border: solid darkblue 1px;
20*/
21    padding: 3px;
22}
23#content {
24    margin-right: 330px;
25}
26
27#buttons {
28    float: right;
29    border: solid black 1px;
30    background-color: lightgoldenrodyellow;
31/*
32    color: darkblue;
33*/
34    padding: 0.25em;
35    width: 300px;
36}
37
38#buttons h3 {
39    font-size: 125%;
40    font-weight: bold;
41    margin: 0;
42    padding: 0.25em 0;
43}
44
45#buttons h4 {
46    font-size: 100%;
47    font-weight: normal;
48    font-style: italic;
49    margin: 0;
50    padding: 0.25em 0;
51}
52
53#code {
54    width: 95%;
55}
56
57#selectioncontent {
58    border: solid black 1px;
59    padding: 0.125em;
60    background-color: white;
61    overflow: auto;
62}
63
64.unselectable {
65    -moz-user-select: none;
66    -moz-user-focus: ignore;
67    -khtml-user-select: none;
68    user-select: none; /* CSS3 */
69}