19ed441e6SNick Fitzgerald* {
29ed441e6SNick Fitzgerald  margin: 0;
39ed441e6SNick Fitzgerald  padding: 0;
49ed441e6SNick Fitzgerald}
59ed441e6SNick Fitzgerald
69ed441e6SNick Fitzgerald.hbox {
79ed441e6SNick Fitzgerald  display: flex;
89ed441e6SNick Fitzgerald  flex-direction: row;
99ed441e6SNick Fitzgerald}
109ed441e6SNick Fitzgerald
118848bac2SNick Fitzgeraldhtml,
128848bac2SNick Fitzgeraldbody {
139ed441e6SNick Fitzgerald  width: 100%;
149ed441e6SNick Fitzgerald  height: 100%;
159ed441e6SNick Fitzgerald}
169ed441e6SNick Fitzgerald
17*7cb6be25SNick Fitzgerald.highlight {
18*7cb6be25SNick Fitzgerald  white-space: pre;
19*7cb6be25SNick Fitzgerald  font-family: monospace;
20*7cb6be25SNick Fitzgerald}
21*7cb6be25SNick Fitzgerald.hovered {
22*7cb6be25SNick Fitzgerald}
23*7cb6be25SNick Fitzgerald.light-text {
24*7cb6be25SNick Fitzgerald  color: #eeeeee;
25*7cb6be25SNick Fitzgerald}
26*7cb6be25SNick Fitzgerald.dark-text {
27*7cb6be25SNick Fitzgerald  color: #101010;
28*7cb6be25SNick Fitzgerald}
29*7cb6be25SNick Fitzgerald
309ed441e6SNick Fitzgerald#wat {
31ede670ddSVulcain  flex: 1;
32ede670ddSVulcain  height: 100%;
33ede670ddSVulcain  overflow: scroll;
34ede670ddSVulcain}
35ede670ddSVulcain
36ede670ddSVulcain#clif {
37ede670ddSVulcain  flex: 1;
389ed441e6SNick Fitzgerald  height: 100%;
399ed441e6SNick Fitzgerald  overflow: scroll;
409ed441e6SNick Fitzgerald}
419ed441e6SNick Fitzgerald
429ed441e6SNick Fitzgerald#asm {
43ede670ddSVulcain  flex: 1;
449ed441e6SNick Fitzgerald  height: 100%;
459ed441e6SNick Fitzgerald  overflow: scroll;
469ed441e6SNick Fitzgerald}
47