いつも大変お世話になっております。
横線を引く方法について教えて下さい。

----
↑上記を入力すればグレーっぽい線は引けるのは知っているのですが、これを好きな色にして線の太さを太くする方法とかってありますか？
どなたかご教授頂ければ嬉しいです。

編集

---- は 表示の時に、「<hr class="full_hr">」となってますので、ナビなどに

#html{{
<style>
.full_hr {
border: 10px green dotted;
}
</style>
}}

の様にcssを追加すると反映されるかもしれません。この辺はブラウザにより対応が微妙かもしれません。これが、有効なら

border: 10px green dotted;
の部分は、
border: 4px #CEDFFF solid;

等のように#の色番号でも指定出来ます。「CSS border」や
「CSS hr」で検索すると参考になる情報が見つかると思います。
また「色見本」検索すると、以下の様な見本も確認出来ます。
http://www.colordic.org/

編集