3 input.button { cursor: pointer; }
10 font-family: "Linux Libertine", "Palatino Linotype", "Book Antiqua", Palatino, serif;
17 /*border-bottom:1px dotted;*/
24 /*border-bottom:2px solid;*/
65 font-family: "Droid Sans Mono", "Liberation Mono", "Consolas", "DejaVu Sans Mono", monospace;