3 font-family: Helvetica, Arial, sans-serif;
8 font-family: Menlo, monospace;
18 text-decoration: none;
21 text-decoration: underline;
78 div#page > .container,
79 div#topbar > .container {
86 div#page.wide > .container,
87 div#topbar.wide > .container {
105 margin: 20px 20px 20px 40px;
106 -webkit-border-radius: 5px;
107 -moz-border-radius: 5px;
125 color: rgb(244, 74, 63);
128 color: rgb(255, 209, 77);
134 div.output .buttons {
143 border: 1px solid #e5ecf9;
144 background-color: #eee;
145 box-shadow: 3px 3px 2px #888888;
149 -webkit-border-radius: 5px;
150 -moz-border-radius: 5px;
156 font-variant: small-caps;
164 list-style-type: none;
171 padding-left: 10px !important;
177 display: none !important;