BeanWeb/bean_common.css at master · ThatBean/BeanWeb · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
body, div { padding: 0; margin: 0; border: 0; width: 100%; }

* { font-family: monaco, consolas, monospace; font-size: 1.0em; COLOR: #999; }
.font-big { font-size: 1.3em; COLOR: #aaa; }
.font-bigger { font-size: 1.7em; COLOR: #aaa; }
.font-biggest { font-size: 2em; COLOR: #bbb; }
.font-small { font-size: 0.8em; COLOR: #888; }
.font-smallest { font-size: 0.4em; COLOR: #666; }

button, .button { height: 2em; border: 2px solid #444; background: #555; }
button:hover, .button:hover { border: 2px solid #666; background: #777; }
button:active, .button:active { border: 2px solid #333; background: #111; }

.fix-top, .fix-bottom { position: fixed; background: #222; overflow-x: auto}
.fix-top { top: 0; }
.fix-bottom { bottom: 0; }

.width-75 { width: 75%; }

.align-center { margin-left: auto; margin-right: auto; }
.align-left { margin-left: 0; margin-right: auto; }
.text-center { text-align: center; }
.text-left { text-align: left; }

#FPS { font-size: 0.9em; COLOR: #900; }
#Log { font-size: 0.8em; COLOR: #666; }

.pixelated {
	image-rendering:optimizeSpeed;             /* Legal fallback */
	image-rendering:-moz-crisp-edges;          /* Firefox        */
	image-rendering:-o-crisp-edges;            /* Opera          */
	image-rendering:-webkit-optimize-contrast; /* Safari         */
	image-rendering:optimize-contrast;         /* CSS3 Proposed  */
	image-rendering:crisp-edges;               /* CSS4 Proposed  */
	image-rendering:pixelated;                 /* CSS4 Proposed  */
	-ms-interpolation-mode:nearest-neighbor;   /* IE8+           */
}