changeset 16239 | 5be516f79075 |
parent 16238 | c1102cdf601f |
child 16240 | 95cc0e8f8a17 |
--- a/Admin/website/dist/css/isabelle_base.css Sat Jun 04 21:35:20 2005 +0200 +++ b/Admin/website/dist/css/isabelle_base.css Sat Jun 04 21:42:50 2005 +0200 @@ -145,11 +145,14 @@ list-style-type: none; margin-top: 1ex; margin-bottom: 1ex; + margin-left: 4em; + padding-left: 0pt; } ul.shellcmd li:before { - content: "> "; - font-weight: bold; /* oder gleich grafik */ + content: "$ "; + font-weight: bold; + font-size: 40pt; } /* the faq */